In  Hennessy and Plotkin gave a domain-theoretic semantics fully abstract for SIP (the Simple Imperative Programming language) + parallelism together with a certain unnatural synchronisation construct, but not, unfortunately, abstract without that construct. Later, in , Brookes gave a fully-abstract trace semantics for a slight variation on SIP + parallelism. In his semantics, meanings of programs are sets of traces subject to certain closure conditions, namely ‘stuttering' and ‘mumbling'; traces are sequences of pairs of states.
|Title of host publication||Proceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science|
|Place of Publication||Berlin, Heidelberg|
|Number of pages||1|
|ISBN (Print)||3-540-49994-6, 978-3-540-49994-7|
|Publication status||Published - 2006|