UTCP: compositional semantics for shared-variable concurrency - BUTTERFIELD, ANDREW (Springer, 2017)
Lecture Notes in Computer Science
20th Brazilian Symposium on Formal Methods (SBMF 2017)
PUBLISHED
Recife, Brazil
Keywords: CONCURRENCY THEORY; Formal Semantics; Semantic Interoperability