Knowledge-Based Synthesis of Distributed Systems Using Event Structures

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

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

Cited In (2)

• Reasoning in event-based distributed systems
• Title not available (Why is that?)

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)