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 January 2011
Venue : N/A
External Link: http://www.lmcs-online.org/ojs/viewarticle.php?id=496