41 citations · 68 across the 15 of their papers we have counts for
3 papers · 1 filter
On Asynchrony and Reversibility in CCS
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Asynchronous communication is a fundamental feature of modern distributed systems, where messages are emitted without requiring immediate synchronization with receivers. In process…
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
Florian Furbach, Lucas Clorius, Roland Kuhn +3
Swarm protocols are a recently introduced formalism for specifying, implementing, and verifying peer-to-peer systems called swarms. A swarm consists of distributed agents called ma…
JoinActors: A Modular Library for Actors with Join Patterns
Ayman Hussein, Philipp Haller, Ioannis Karras +3
Join patterns are a high-level programming construct for message-passing applications. They offer an intuitive and declarative approach for specifying how concurrent and distribute…