Knowledge-based synthesis of distributed systems using event structures (2005)

by Mark Bickford , Robert C. Constable , Joseph Y. Halpern , Sabina Petride
Venue:In Proc. 11th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Lecture Notes in Computer Science
Citations:7 - 4 self