Recent Developments in the Mathematics of Reactive Systems (Extended Abstract).

Jeremy Gunawardena

Browse the full CONCUR paper archive.