The following pages link to (Q4738368):
Displayed 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)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)