- 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.
- Publisher copy:
- Copyright date:
Extending CSP with tests for availability
If you are the owner of this record, you can report an update to it here: Report update to this record