UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
You are here
| Title | UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models |
| Publication Type | Workshop Paper |
| Year of Publication | 2016 |
| Authors | Butterfield A, Mjeda A, Noll J. |
