Reasoning about meta level activities in open distributed systems
From MaRDI portal
Publication:5361448
DOI10.1145/224964.224981zbMath1374.68078OpenAlexW2036091242MaRDI QIDQ5361448
Nalini Venkatasubramanian, Carolyn L. Talcott
Publication date: 29 September 2017
Published in: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/224964.224981
Related Items (5)
Comparing three coordination models: Reo, ARC, and PBRD ⋮ Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition ⋮ The ARC Programming Model – Language Constructs for Coordination ⋮ Unnamed Item ⋮ Scalable termination detection for distributed actor systems
This page was built for publication: Reasoning about meta level activities in open distributed systems