Knowledge-based synthesis of distributed systems using event structures

DOI10.2168/LMCS-7(2:14)2011MaRDI QIDQ3003333zbMATH OpenOpenAlexFDO

Authors Mark Bickford, Joseph Y. Halpern, Sabina Petride, Robert 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)

Recommendations

• Logic for Programming, Artificial Intelligence, and Reasoning
• CONCUR 2005 – Concurrency Theory
• Verified synthesis of knowledge-based programs in finite synchronous environments
• The synthesis of communication protocols
• Synthesis of Data Views for Communicating Processes

Cited in

(7)

• Reasoning in event-based distributed systems
• Finite state implementations of knowledge-based programs (extended abstract)
• scientific article; zbMATH DE number 7453194 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning
• Automatic synthesis and deployment of intensional Kahn process networks
• CONCUR 2005 – Concurrency Theory
• Verified synthesis of knowledge-based programs in finite synchronous environments

Describes a project that uses

Uses Software

• UNITY
• Nuprl
• Coq

This page was built for publication: Knowledge-based synthesis of distributed systems using event structures

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