The following pages link to M-TREE (Q15104):
Displaying 13 items.
- 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)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- New dynamic construction techniques for M-tree (Q1013073) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- (Q3052047) (← links)
- (Q3500007) (← links)
- Translating FSP into LOTOS and Networks of Automata (Q3608896) (← links)
- (Q5296590) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703795) (← links)
- Model Checking Software (Q5899040) (← links)