Knowledge-based synthesis of distributed systems using event structures

DOI10.2168/LMCS-7(2:14)2011zbMATH Open1213.68202OpenAlexW2949284608MaRDI QIDQ3003333FDOQ3003333

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

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

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)

Cited In (6)

• Reasoning in event-based distributed systems
• Title not available (Why is that?)
• Logic for Programming, Artificial Intelligence, and Reasoning
• CONCUR 2005 – Concurrency Theory
• Automatic synthesis and deployment of intensional Kahn process networks
• Verified synthesis of knowledge-based programs in finite synchronous environments

Uses Software

• Coq
• Nuprl
• UNITY

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)