LNT2LOTOS
From MaRDI portal
Cited in
(20)- SCADE
- SIGREF
- TIMES
- E-LOTOS
- CADP
- Fiacre
- Exp.Open
- Compositional verification of concurrent systems by combining bisimulations
- Scaling up livelock verification for network-on-chip routing algorithms
- CAESAR_SOLVE
- Compositional verification of asynchronous concurrent systems using CADP
- Polychrony
- GRL
- DLC
- Formal modelling and verification of GALS systems using GRL and CADP
- AADL
- XTL
- Counterexample guided synthesis of monitors for realizability enforcement
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Revisiting sequential composition in process calculi
This page was built for software: LNT2LOTOS
