LNT2LOTOS
From MaRDI portal
Software:32236
swMATH20418MaRDI QIDQ32236FDOQ32236
Author name not available (Why is that?)
Cited In (7)
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement
- 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
- 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
