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)