The following pages link to Fiacre (Q19067):
Displayed 5 items.
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- An Automatic Technique for Checking the Simulation of Timed Systems (Q5166677) (← links)