Of wlp and CSP

Steve Dunne

Research output: Contribution to journalArticlepeer-review

13 Downloads (Pure)


We extend Morgan's well-known derivation of the Failures-Divergences semantics of an action system endowed with a wp sequential semantics, by showing how various other CSP semantics can be extracted from an action system endowed with an appropriate sequential semantics. In doing so we expose the close but hitherto largely overlooked correspondence between the various CSP semantic models and their sequential correctness counterparts.
Original languageEnglish
Pages (from-to)35 - 45
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - Dec 2009
Externally publishedYes

Bibliographical note

Author can archive post-print (ie final draft post-refereeing).


Dive into the research topics of 'Of wlp and CSP'. Together they form a unique fingerprint.

Cite this