Serge Haddad, Rolf Hennicker, and Mikael H. Møller. Channel Properties of Asynchronously Composed Petri Nets. In Petri Nets, pages 369–388, 2013. (doi:10.1007/978-3-642-38697-8_20)
Fabio Gadducci, Giacoma Valentina Monreale, and Ugo Montanari. A Modular LTS for Open Reactive Systems. In IFIP TCS, volume 7604 of LNCS, pages 134–148. Springer, 2013. (doi:978-3-642-33475-7)
Ugo Montanari and Alain Tcheukam Siwe. Real time market models and prosumer profiling. In Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, pages 3183–3188. IEEE, 2013. (doi:10.1109/INFCOM.2013.6567135)
Philip Mayer and Andreas Schroeder. Towards automated cross-language refactorings between Java and DSLs used by Java frameworks. In Proceedings of the 2013 ACM Workshop on Refactoring Tools, WRT@SPLASH 2013, Indianapolis, IN, USA, October 27, 2013, pages 5–8, 2013. (doi:10.1145/2541348.2541350)
Michele Amoretti, Alberto Lluch-Lafuente, and Stefano Sebastio. A Cooperative Approach for Distributed Task Execution in AutonomicClouds. In PDP, pages 274–281. IEEE Computer Society, 2013. (doi:10.1109/PDP.2013.47)
Maurice H. ter Beek, Alberto Lluch-Lafuente, and Marinella Petrocchi. Combining Declarative and Procedural Views in the Specificationand Analysis of Product Families. In SPLC Workshops, pages 10–17. ACM, 2013. (doi:10.1145/2499777.2500722)
Chiara Bodei, Linda Brodo, and Roberto Bruni. Open Multiparty Interaction. In Narciso Martí-Oliet and Miguel Palomino, editors, Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, pages 1–23. Springer, 2013. (doi:10.1007/978-3-642-37635-1_1)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, and Andrea Vandin. Adaptable Transition Systems. In Narciso Martí-Oliet and Miguel Palomino, editors, Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, pages 95–110. Springer, 2013. (doi:10.1007/978-3-642-37635-1_6)
Pierpaolo Degano, Gian Luigi Ferrari, and Gianluca Mezzetti. Towards Nominal Context-Free Model-Checking. In CIAA, pages 109–121, 2013. (doi:10.1007/978-3-642-39274-0_11)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, and Pawel Sobocinski. Connector algebras for C/E and P/T nets' interactions. Logical Methods in Computer Science, 9(3:16):1–65, 2013. (doi:10.2168/LMCS-9(3:16)2013)