An Algorithmic Framework for Synthesis of Concurrent Programs

DOI10.1007/978-3-642-24372-1_41zbMath1348.68037OpenAlexW1503426638MaRDI QIDQ3172943

Roopsha Samanta, E. Allen Emerson

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_41

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SYNTHESIS
• SyncGen

This page was built for publication: An Algorithmic Framework for Synthesis of Concurrent Programs