Pavel Parizek and Pavel Jancik. Computing Approximate Happens-Before Order with Static and Dynamic Analysis. Technical report, Charles University, December 2013.
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)