The following pages link to From LOTOS to LNT (Q5047037):
Displaying 11 items.
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- LSZ in LST (Q874113) (← links)
- Modifying LOTOS specifications by means of automatable formula-based integrations (Q1810856) (← links)
- Probabilistic model checking of BPMN processes at runtime (Q2165511) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Multimedia in the E-LOTOS process algebra (Q2906952) (← links)
- An interpreter for LOTOS, a specification language for distributed systems (Q3790630) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- Store locally, prove globally (Q6605367) (← links)