Synthesis of Distributed Systems from Knowledge-Based Specifications.

Ron van der Meyden, Thomas Wilke

Browse the full CONCUR paper archive.