Synthesis of Distributed Processes from Scenario-Based Specifications.

Jun Sun, Jin Song Dong

Browse the full FM paper archive.