Media type: E-Article Title: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Hennessy-Plotkin-Brookes Revisited Contributor: Plotkin, Gordon Published: Springer Berlin Heidelberg, 2006 Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006), Seite 4-4 Language: Not determined DOI: 10.1007/11944836_2 ISBN: 9783540499947; 9783540499954 ISSN: 0302-9743; 1611-3349 Origination: Footnote: