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):
Displaying 6 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)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)