Knowledge-Based Synthesis of Distributed Systems Using Event Structures

DOI10.2168/LMCS-7(2:14)2011zbMath1213.68202OpenAlexW2949284608MaRDI QIDQ3003333

Mark Bickford, Sabina Petride, Joseph Y. Halpern, Robert L. Constable

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-7(2:14)2011

zbMATH Keywords

epistemic logicautomated program synthesisNuprldistributed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logics of knowledge and belief (including belief change) (03B42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Nuprl
• UNITY
• Unnamed Item

This page was built for publication: Knowledge-Based Synthesis of Distributed Systems Using Event Structures