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.
Nicola Bicocchi, Marco Mamei, and Franco Zambonelli. In-Network Aggregation of High-Level Sensorial Knowledge for Environment-aware Services and Ensembles. In Misra Bijan, editor, Computational Intelligence in Sensor Networks. Springer Verlag, Berlin (D), 2012.
Nicola Bicocchi, Gabriella Castelli, Matteo Lasagni, Marco Mamei, and Franco Zambonelli. Experiences on Sensor Fusion with Commonsense Reasoning. In 9th PerCom Workshop on Context Modeling and Reasoning, pages 596–601, Lugano (CH), March 2012. IEEE CS Press.
Nicola Bicocchi, Matteo Lasagni, and Franco Zambonelli. Bridging Vision and Commonsense for Multimodal Situation Recognition in Pervasive Systems. In 10th IEEE Conference on Pervasive Computing and Communication, pages 48–56, Lugano (CH), March 2012. IEEE CS Press.
Roberto Bruni and Anne Kersten Kauer. LTS Semantics for Compensation-based Processes. In TGC 2012, volume 8191 of LNCS, pages 112–128. Springer, 2012. (doi:10.1007/978-3-642-41157-1_8)
Roberto Bruni, Hernán Melgratti, and Ugo Montanari. Connector Algebras, Petri Nets, and BIP. In PSI 2011, volume 7162 of LNCS, pages 19–38. Springer, 2012. (doi:10.1007/978-3-642-29709-0_2)