@dblp

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

, , and . TASE, page 93-100. IEEE Computer Society, (2016)

Links and resources

Tags