Pages that link to "Item:Q3766826"
From MaRDI portal
The following pages link to Algebraic laws for nondeterminism and concurrency (Q3766826):
Displaying 9 items.
- A brief history of Timed CSP (Q674191) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky (Q1854414) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- Functions as processes (Q4017458) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
