Compiling Shared Variable Programs into CSP
Main Author: | Roscoe, A |
---|---|
Format: | Conference item |
Published: |
2001
|
Similar Items
-
Compiling Statemate Statecharts into CSP and verifying them using FDR
by: Roscoe, A
Published: (2003) -
On the expressiveness of CSP
by: Roscoe, A
Published: (2011) -
Unbounded nondeterminism in CSP
by: Roscoe, A
Published: (1988) -
The expressiveness of CSP with priority
by: Roscoe, A
Published: (2015) -
CSP files
by: Roscoe, T, et al.
Published: (2011)