Synthesis of concurrent systems for an atomic read/atomic write model of computation

DOI10.1145/248052.248070zbMath1321.68342OpenAlexW2058693299MaRDI QIDQ2942723

Paul C. Attie, E. Allen Emerson

Publication date: 11 September 2015

Published in: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Inferring Synchronization under Limited Observability

This page was built for publication: Synthesis of concurrent systems for an atomic read/atomic write model of computation