%0 Conference Paper %1 conf/agere/MusserV13 %A Musser, David R. %A Varela, Carlos A. %B AGERE!@SPLASH %D 2013 %E Jamali, Nadeem %E Ricci, Alessandro %E Weiss, Gera %E Yonezawa, Akinori %I ACM %K dblp %P 37-48 %T Structured reasoning about actor systems. %U http://dblp.uni-trier.de/db/conf/agere/agere2013.html#MusserV13 %@ 978-1-4503-2602-5

@inproceedings{conf/agere/MusserV13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Musser, David R. and Varela, Carlos A.}, biburl = {https://www.bibsonomy.org/bibtex/2c74f581415f9ae4b297b24286aeb1047/dblp}, booktitle = {AGERE!@SPLASH}, crossref = {conf/agere/2013}, editor = {Jamali, Nadeem and Ricci, Alessandro and Weiss, Gera and Yonezawa, Akinori}, ee = {https://doi.org/10.1145/2541329.2541334}, interhash = {d1302e088a663572be83da860031ac40}, intrahash = {c74f581415f9ae4b297b24286aeb1047}, isbn = {978-1-4503-2602-5}, keywords = {dblp}, pages = {37-48}, publisher = {ACM}, timestamp = {2024-04-09T14:04:40.000+0200}, title = {Structured reasoning about actor systems.}, url = {http://dblp.uni-trier.de/db/conf/agere/agere2013.html#MusserV13}, year = 2013 }