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)