Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, and Rongjie Yan. D-Finder 2: Towards Efficient Correctness of Incremental Design. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, volume 6617 of Lecture Notes in Computer Science, pages 453–458. Springer, 2011. (doi:10.1007/978-3-642-20398-5_32)
Filippo Bonchi and Ugo Montanari. Symbolic and Asynchronous Semantics via Normalized Coalgebras. Logical Methods in Computer Science, 7(2), 2011.
Rocco De Nicola, Diego Latella, Michele Loreti, and Mieke Massink. State to Function Labelled Transition Systems: A Uniform Framework for Defining Stochastic Process Calculi. Technical Report ISTI-2011-TR-012, CNR - ISTI, May 2011.
Rocco De Nicola, Andrea Margheri, and Francesco Tiezzi. Orchestrating Tuple-based Languages. In Roberto Bruni and Vladimiro Sassone, editors, Proc. of TGC. Springer, 2011.
Chiara Bodei, Viet Dung Dinh, and Gian-Luigi Ferrari. Predicting global usages of resources endowed with local policies. In Mohammad Reza Mousavi and António Ravara, editors, FOCLASA, volume 58 of EPTCS, pages 49–64, 2011. (doi:10.4204/EPTCS.58.4)
Matthias Hölzl and Martin Wirsing. Towards a System Model for Ensembles. In Gul Agha, Olivier Danvy, and José Meseguer, editors, Festschrift in honor of Carolyn Talcott, volume 7000 of Lecture Notes in Computer Science, pages 241–261. Springer, 2011.
Fabio Gadducci and Giacoma Valentina Monreale. A Decentralised Graphical Implementation of Mobile Ambients. Journal of Logic and Algebr. Program., 80(2):113–136, 2011. (doi:10.1016/j.jlap.2010.10.002)
Mirco Tribastone. Approximate Mean Value Analysis of Process Algebra Models. In MASCOTS: IEEE 19th International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, pages 369–378, Singapore, July 2011. IEEE Computer Society Press. (doi:10.1109/MASCOTS.2011.28)
Mieke Massink, Diego Latella, Andrea Bracciali, and Jane Hillston. Modelling Non-linear Crowd Dynamics in Bio-PEPA. In Dimitra Giannakopoulou and Fernando Orejas, editors, Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of LNCS, pages 96–110. Springer-Verlag, May 2011. (doi:10.1007/978-3-642-19811-3_8)
Massimiliano Masi, Rosario Pugliese, and Francesco Tiezzi. A Standard-Driven Communication Protocol for Disconnected Clinicsin Rural Areas. In George Demiris and Kendall Ho, editors, Proc. of HEALTHCOM 2011, pages 304–311. IEEE, 2011. (doi:10.1109/HEALTH.2011.6026770)