Knowledge-Based Synthesis of Distributed Systems Using Event Structures.

Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride

Browse the full LPAR paper archive.