The following pages link to (Q4225153):
Displayed 5 items.
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Topological model of neural information networks (Q2117913) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Algebra Transformation Systems as a Unifying Framework (Q4923537) (← links)
- A Logic for True Concurrency (Q5501929) (← links)