Paper Details

Communicating Process Architectures (CPA)
 Title: Extending CSP with Tests for Availability
 Conference: Communicating Process Architectures 2009
 Authors: Gavin Lowe
Oxford University Computing Laboratory, Univerity of Oxford
 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. 

BibTeX Entry

Full paper