Pages that link to "Item:Q1605180"
From MaRDI portal
The following pages link to Resource traces: A domain for processes sharing exclusive resources. (Q1605180):
Displaying 4 items.
- Approximating traces (Q1270563) (← links)
- Infinite concurrent systems. I: The relationship between metric and order convergence (Q1346609) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources (Q3178291) (← links)