The expressiveness of CSP with priority
<p>The author previously defined CSP-like operational semantics whose main restrictions were the automatic promotion of most τ actions, no cloning of running processes, and no negative premises in operational semantic rules. He showed that every operator with such an operational semantics can...
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Conference item |
| منشور في: |
Elsevier
2015
|