Deterministic Behavioural Models for Concurrency.

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Browse the full MFCS paper archive.