The following pages link to LNT2LOTOS (Q32236):
Displaying 7 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Scaling up livelock verification for network-on-chip routing algorithms (Q2152663) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement (Q4649300) (← links)