Synthesis and Equivalence of Concurrent Systems.

Bjrn Lisper

Browse the full ICALP paper archive.