An Operational Semantics for CSP
Κύριοι συγγραφείς: | Roscoe, A, Brookes, S, Walker, D |
---|---|
Μορφή: | Report |
Έκδοση: |
Oxford University Computing Laboratory
1986
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
On the expressiveness of CSP
ανά: Roscoe, A
Έκδοση: (2011) -
The expressiveness of CSP with priority
ανά: Roscoe, A
Έκδοση: (2015) -
Unbounded nondeterminism in CSP
ανά: Roscoe, A
Έκδοση: (1988) -
CSP files
ανά: Roscoe, T, κ.ά.
Έκδοση: (2011) -
Model−checking CSP
ανά: A. W. Roscoe
Έκδοση: (1994)