The following pages link to (Q3975160):
Displaying 5 items.
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources (Q3178291) (← links)
- (Q3814772) (← links)