LNT2LOTOS
From MaRDI portal
Software:32236
No author found.
Related Items (7)
Formal modelling and verification of GALS systems using GRL and CADP ⋮ Compositional verification of concurrent systems by combining bisimulations ⋮ Scaling up livelock verification for network-on-chip routing algorithms ⋮ Revisiting sequential composition in process calculi ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Counterexample Guided Synthesis of Monitors for Realizability Enforcement ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for software: LNT2LOTOS
