Pages that link to "Item:Q5703795"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703795):
Displaying 9 items.
- BISIMULATOR (Q15065) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Deriving bisimulation relations from path based equivalence checkers (Q520250) (← 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)
- 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)
- (Q4037401) (← links)
- Generic partition refinement and weighted tree automata (Q6535955) (← links)