Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems Book chapter (July 2019)