%0 Conference Paper %1 conf/esop/BrunD23 %A Brun, Matthew Alan Le %A Dardha, Ornela %B ESOP %D 2023 %E Wies, Thomas %I Springer %K dblp %P 363-391 %T MAGπ: Types for Failure-Prone Communication. %U http://dblp.uni-trier.de/db/conf/esop/esop2023.html#BrunD23 %V 13990 %@ 978-3-031-30044-8

@inproceedings{conf/esop/BrunD23, added-at = {2023-05-13T00:00:00.000+0200}, author = {Brun, Matthew Alan Le and Dardha, Ornela}, biburl = {https://www.bibsonomy.org/bibtex/2b005b6467af8ea68885d0eb450fb44ce/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2023}, editor = {Wies, Thomas}, ee = {https://doi.org/10.1007/978-3-031-30044-8_14}, interhash = {d2d190572bf2f1681dd7922fd222c2eb}, intrahash = {b005b6467af8ea68885d0eb450fb44ce}, isbn = {978-3-031-30044-8}, keywords = {dblp}, pages = {363-391}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:19.000+0200}, title = {MAGπ: Types for Failure-Prone Communication.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2023.html#BrunD23}, volume = 13990, year = 2023 }