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

Original language	English
Title of host publication	The 10th International Symposium on Theoretical Aspects of Software Engineering
Place of Publication	Shanghai, China
Publication status	Published - 1 Jul 2016

Cite this

@inproceedings{723776a1986a4d05bfaf85b0d86c8bb3,

title = "UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models",

author = "Andrew Butterfield and Anila Mjeda and John Noll",

year = "2016",

month = jul,

day = "1",

language = "English",

booktitle = "The 10th International Symposium on Theoretical Aspects of Software Engineering",

}