Cited By
View all- Bickford MConstable RHalpern JPetride S(2005)Knowledge-Based Synthesis of Distributed Systems Using Event StructuresLogic for Programming, Artificial Intelligence, and Reasoning10.1007/978-3-540-32275-7_30(449-465)Online publication date: 2005
- Sanders B(2005)On the UNITY design decisionsReasearch Directions in High-Level Parallel Programming Languages10.1007/3-540-55160-3_33(50-63)Online publication date: 1-Jun-2005
- Engelhardt Kvan der Meyden RMoses Y(2001)A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous AgentsLogic for Programming, Artificial Intelligence, and Reasoning10.1007/3-540-45653-8_9(125-141)Online publication date: 20-Nov-2001
- Show More Cited By