UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models.

Andrew Butterfield, Anila Mjeda, John Noll

Browse the full TASE paper archive.