Hdl Handle:
http://hdl.handle.net/10149/95954
Title:
Of wlp and CSP
Authors:
Dunne, S. E. (Steve)
Affiliation:
University of Teesside. School of Computing.
Citation:
Dunne, S. E. (2009) 'Of wlp and CSP', Electronic Notes in Theoretical Computer Science, 259 (C), pp.35-45.
Publisher:
Elsevier
Journal:
Electronic Notes in Theoretical Computer Science
Issue Date:
Dec-2009
URI:
http://hdl.handle.net/10149/95954
DOI:
10.1016/j.entcs.2009.12.016
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.
Type:
Article
Language:
en
Keywords:
CFFD; CSP; intermediate correctness; stable failures; wlp
ISSN:
1571-0661
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 08/04/2010]
Citation Count:
0 [Scopus, 08/04/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDunne, S. E. (Steve)en
dc.date.accessioned2010-04-08T08:47:48Z-
dc.date.available2010-04-08T08:47:48Z-
dc.date.issued2009-12-
dc.identifier.citationElectronic Notes in Theoretical Computer Science; 259 (C): 35-45en
dc.identifier.issn1571-0661-
dc.identifier.doi10.1016/j.entcs.2009.12.016-
dc.identifier.urihttp://hdl.handle.net/10149/95954-
dc.description.abstractWe 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.en
dc.language.isoenen
dc.publisherElsevieren
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 08/04/2010]en
dc.subjectCFFDen
dc.subjectCSPen
dc.subjectintermediate correctnessen
dc.subjectstable failuresen
dc.subjectwlpen
dc.titleOf wlp and CSPen
dc.typeArticleen
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.identifier.journalElectronic Notes in Theoretical Computer Scienceen
ref.citationcount0 [Scopus, 08/04/2010]en
or.citation.harvardDunne, S. E. (2009) 'Of wlp and CSP', Electronic Notes in Theoretical Computer Science, 259 (C), pp.35-45.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.