Emil Vassev and Mike Hinchey. Awareness in Software-intesive Systems. IEEE Computer, 45(12), December 2012.
Sebastian Bauer, Rolf Hennicker, and Martin Wirsing. Building a Modal Interface Theory for Concurrency and Data. In Till Mossakowski and Hans-Jörg Kreowski, editors, Recent Trends in Algebraic Development Techniques, volume 7137 of Lecture Notes in Computer Science, pages 1–12. Springer Berlin / Heidelberg, 2012.
Saddek Bensalem, Marius Bozga, Doron Peled, and Jean Quilbeuf. Knowledge Based Transactional Behavior. In Proceedings of the 8th Haifa Verification Conference (HVC'12), 2012.
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, and Joseph Sifakis. Optimized Distributed Implementation of Multiparty Interactions with Observation. In Proceedings of AGERE! Workshop (SPLASH'12), 2012.
Roberto Guanciale, Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella, and Giorgio Spagnolo. Applying Process Analysis to the Italian eGovernment EnterpriseArchitecture. In Proceedings of WS-FM 2011, 8th International Workshop on Web Servicesand Formal Methods, volume 7176 of LNCS, pages 111–127. Springer, 2012. (doi:10.1007/978-3-642-29834-9_9)
Michele Boreale, David Clark, and Daniele Gorla. A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. To appear on MSCS, 2012.
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, and Gianluca Mezzetti. Formalising Security in Ubiquitous and Cloud Scenarios. In Agostino Cortesi, Nabendu Chaki, Khalid Saeed, and SÅ‚awomir Wierzchon, editors, Computer Information Systems and Industrial Management, volume 7564 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012. (doi:10.1007/978-3-642-33260-9_1)
Marco Bernardo, Rocco De Nicola, and Michele Loreti. Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, volume 7213 of Lecture Notes in Computer Science, pages 195–209. Springer, 2012. (doi:10.1007/978-3-642-28729-9_13)
Roberto Bruni, Carla Ferreira, and Anne Kersten Kauer. First-Order Dynamic Logic for Compensable Processes. In COORDINATION 2012, volume 7274 of LNCS, pages 104–121. Springer, 2012. (doi:10.1007/978-3-642-30829-1_8)
Nicola Bicocchi, Marco Mamei, and Franco Zambonelli. Towards Self-organizing Virtual Macro Sensors. ACM Transactions on Autonomous and Adaptive Systems, 7(1), April 2012.