Of wlp and CSP

Steve Dunne

Research output: Contribution to journalArticle

4 Downloads (Pure)

Abstract

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
Volume259
DOIs
Publication statusPublished - Dec 2009
Externally publishedYes

Bibliographical note

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

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

  • Cite this