On the Construction of Sorted Reactive Systems.

Lars Birkedal, Sren Debois, Thomas T. Hildebrandt

Browse the full CONCUR paper archive.