Pages that link to "Item:Q2871829"
From MaRDI portal
The following pages link to Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829):
Displaying 6 items.
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator (Q3763573) (← links)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations (Q4914519) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)