UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models - BUTTERFIELD, ANDREW (IEEE Computer Society, 2016)
10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
PUBLISHED
Shanghai, China
Keywords: Formal Semantics; SHARED-STATE; Unifying Theories of Programming; concurrency