Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems

Martin Wirsing, Rolf Hennicker. Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. In Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese, editors, Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Volume 11665 of Lecture Notes in Computer Science, pages 367-387, Springer, 2019. [doi]

Abstract

Abstract is missing.