swMATH21954MaRDI QIDQ33753FDOQ33753
Author name not available (Why is that?)
Official website: http://cadp.inria.fr/man/xtl-lang.html
Cited In (8)
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- M-TREE
- Exp.Open
- DLC
- LNT2LOTOS
- Counterexample guided synthesis of monitors for realizability enforcement
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Distributed branching bisimulation reduction of state spaces
This page was built for software: XTL
