Pages that link to "Item:Q1781995"
From MaRDI portal
The following pages link to A brief history of process algebra (Q1781995):
Displayed 6 items.
- Processes with local and global liveness requirements (Q1007234) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- Logic of simultaneity (Q2390846) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)