"Connector algebras, Petri nets, and BIP" (2012) Bruni, R.; Melgratti, H.; Montanari, U. 8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011. 7162 LNCS:19-38
"Distribution of modal transition systems" (2012) Sibay, G.E.; Uchitel, S.; Braberman, V.; Kramer, J. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:403-417
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400