Fingerprint
Dive into the research topics of 'UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
- Andrew Butterfield
- , Anila Mjeda
- , John Noll
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review