Reasoning about meta level activities in open distributed systems

DOI10.1145/224964.224981MaRDI QIDQ5361448zbMATH OpenOpenAlexFDO

Authors Nalini Venkatasubramanian, Carolyn 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

Mathematics Subject Classification ID

Distributed systems (68M14)

Cited in

(5)

• Modeling concurrent systems: actors, nets, and the problem of abstraction and composition
• Scalable termination detection for distributed actor systems
• A scalable algorithm for decentralized actor termination detection
• The ARC programming model -- language constructs for coordination
• Comparing three coordination models: Reo, ARC, and PBRD

This page was built for publication: Reasoning about meta level activities in open distributed systems

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