Hennessy-Plotkin-Brookes Revisited

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In [3] 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 [1], 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.
Original languageEnglish
Title of host publicationProceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science
Place of PublicationBerlin, Heidelberg
Number of pages1
ISBN (Print)3-540-49994-6, 978-3-540-49994-7
Publication statusPublished - 2006

Fingerprint Dive into the research topics of 'Hennessy-Plotkin-Brookes Revisited'. Together they form a unique fingerprint.

Cite this