Process calculi for modelling mobile, service-oriented, and collective autonomic systems

DOI10.1007/978-3-030-21485-2_20MaRDI QIDQ6199115zbMATH OpenOpenAlexFDO

Authors Martin Wirsing, Rolf Hennicker

Publication date 23 February 2024

Published in Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21485-2_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Service oriented computing from a process algebraic perspective
• The Conversation Calculus: A Model of Service-Oriented Computation
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• scientific article; zbMATH DE number 1746454
• The calculus of context-aware ambients

This page was built for publication: Process calculi for modelling mobile, service-oriented, and collective autonomic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6199115)