Implementing generalised alt - A case study in validated design using CSP
In this paper we describe the design and implementation of a generalised alt operator for the Communicating Scala Objects library. The alt operator provides a choice between communications on different channels. Our generalisation removes previous restrictions on the use of alts that prevented both...
Váldodahkki: | Lowe, G |
---|---|
Materiálatiipa: | Journal article |
Giella: | English |
Almmustuhtton: |
2011
|
Geahča maid
-
Implementing Generalised Alt
Dahkki: Lowe, G
Almmustuhtton: (2011) -
Analysing Security Protocols using CSP
Dahkki: Lowe, G
Almmustuhtton: (2011) -
Using CSP to Verify Sequential Consistency
Dahkki: Lowe, G, et al.
Almmustuhtton: (1999) -
Using CSP to Verify Sequential Consistency
Dahkki: Lowe, G, et al.
Almmustuhtton: (1999) -
Extending CSP with tests for availability
Dahkki: Lowe, G
Almmustuhtton: (2009)