Journal article icon

Journal article

Extending CSP with tests for availability

Abstract:
We consider the language of CSP extended with a construct that allows processes to test whether a particular event is available (without actually performing the event). We present an operational semantics for this language, together with two congruent denotational semantic models. We also show how this extended language can be simulated using standard CSP, so as to be able to analyse systems using the model checker FDR. Copyright © 2009 The authors and IOS Press.

Actions


Access Document


Authors


Journal:
Concurrent Systems Engineering Series
Volume:
67
Pages:
325-347
Publication date:
2009
DOI:
ISSN:
1383-7575
URN:
uuid:84b89152-d8f8-40d0-bc9a-3b2b3882e758
Source identifiers:
301567
Local pid:
pubs:301567
Language:
English
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP