Toward a theory of maximally concurrent programs (shortened version)

DOI10.1145/343477.343634zbMath1314.68198OpenAlexW2112732792MaRDI QIDQ5176793

Jayadev Misra, Rajeev Joshi

Publication date: 3 March 2015

Published in: Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/343477.343634

zbMATH Keywords

concurrencyparallel programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (1)

Inferring Synchronization under Limited Observability

This page was built for publication: Toward a theory of maximally concurrent programs (shortened version)