Of wlp and CSP

Steve Dunne

doi:10.1016/j.entcs.2009.12.016

Of wlp and CSP

Steve Dunne

Research output: Contribution to journal › Article › peer-review

31 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 language	English
Pages (from-to)	35 - 45
Journal	Electronic Notes in Theoretical Computer Science
Volume	259
DOIs	https://doi.org/10.1016/j.entcs.2009.12.016
Publication status	Published - Dec 2009
Externally published	Yes

Bibliographical note

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

Access to Document

10.1016/j.entcs.2009.12.016

Full textLicence: CC BY-NC-ND

http://linkinghub.elsevier.com/retrieve/pii/S1571066109004988

Cite this

@article{019f5953766d45a4b1c2aa7b5348ab4c,

title = "Of wlp and CSP",

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.",

author = "Steve Dunne",

note = "Author can archive post-print (ie final draft post-refereeing). ",

year = "2009",

month = dec,

doi = "10.1016/j.entcs.2009.12.016",

language = "English",

volume = "259",

pages = "35 -- 45",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Of wlp and CSP

AU - Dunne, Steve

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

PY - 2009/12

Y1 - 2009/12

N2 - 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.

AB - 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.

U2 - 10.1016/j.entcs.2009.12.016

DO - 10.1016/j.entcs.2009.12.016

M3 - Article

SN - 1571-0661

VL - 259

SP - 35

EP - 45

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Of wlp and CSP

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this