An Operational Semantics for CSP
Hlavní autoři: | Roscoe, A, Brookes, S, Walker, D |
---|---|
Médium: | Report |
Vydáno: |
Oxford University Computing Laboratory
1986
|
Podobné jednotky
-
On the expressiveness of CSP
Autor: Roscoe, A
Vydáno: (2011) -
The expressiveness of CSP with priority
Autor: Roscoe, A
Vydáno: (2015) -
Unbounded nondeterminism in CSP
Autor: Roscoe, A
Vydáno: (1988) -
CSP files
Autor: Roscoe, T, a další
Vydáno: (2011) -
Model−checking CSP
Autor: A. W. Roscoe
Vydáno: (1994)