Pages that link to "Item:Q2870196"
From MaRDI portal
The following pages link to Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196):
Displayed 5 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)