Pages that link to "Item:Q1603698"
From MaRDI portal
The following pages link to A truly concurrent semantics for a process algebra using resource pomsets (Q1603698):
Displaying 7 items.
- Resource traces: A domain for processes sharing exclusive resources. (Q1605180) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources (Q3178291) (← 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)
- (Q3814772) (← links)
- (Q3975160) (← links)