LNT2LOTOS

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