Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
31 December 2004
Venue : N/A
31 December 2004
Venue : N/A