%0 Conference Paper %1 conf/birthday/CharalambidesPA19 %A Charalambides, Minas %A Palmskog, Karl %A Agha, Gul %B Models, Languages, and Tools for Concurrent and Distributed Programming %D 2019 %E Boreale, Michele %E Corradini, Flavio %E Loreti, Michele %E Pugliese, Rosario %I Springer %K dblp %P 315-339 %T Types for Progress in Actor Programs. %U http://dblp.uni-trier.de/db/conf/birthday/denicola2019.html#CharalambidesPA19 %V 11665 %@ 978-3-030-21485-2

@inproceedings{conf/birthday/CharalambidesPA19, added-at = {2019-08-08T00:00:00.000+0200}, author = {Charalambides, Minas and Palmskog, Karl and Agha, Gul}, biburl = {https://www.bibsonomy.org/bibtex/246316067f2f19ceaa284729154d7164e/dblp}, booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming}, crossref = {conf/birthday/2019denicola}, editor = {Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario}, ee = {https://doi.org/10.1007/978-3-030-21485-2_18}, interhash = {35628f64ab15136af2fb87160fe1db63}, intrahash = {46316067f2f19ceaa284729154d7164e}, isbn = {978-3-030-21485-2}, keywords = {dblp}, pages = {315-339}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-09T11:50:28.000+0200}, title = {Types for Progress in Actor Programs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/denicola2019.html#CharalambidesPA19}, volume = 11665, year = 2019 }