XTL

swMATH21954MaRDI QIDQ33753FDOQ33753

Author name not available (Why is that?)

Cited In (4)

• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Counterexample guided synthesis of monitors for realizability enforcement
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Distributed branching bisimulation reduction of state spaces

This page was built for software: XTL