swMATH20418MaRDI QIDQ32236FDOQ32236
Author name not available (Why is that?)
Official website: http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html
Cited In (17)
- Formal modelling and verification of GALS systems using GRL and CADP
- Revisiting sequential composition in process calculi
- Scaling up livelock verification for network-on-chip routing algorithms
- SIGREF
- CADP
- Fiacre
- Exp.Open
- CAESAR_SOLVE
- Polychrony
- GRL
- DLC
- AADL
- XTL
- Counterexample guided synthesis of monitors for realizability enforcement
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Compositional verification of asynchronous concurrent systems using CADP
- Compositional verification of concurrent systems by combining bisimulations
This page was built for software: LNT2LOTOS
