Pages that link to "Item:Q3358247"
From MaRDI portal
The following pages link to TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING (Q3358247):
Displaying 5 items.
- Processes with infinite liveness requirements (Q383788) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- Language Representability of Finite P/T Nets (Q3460873) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
