XTL

swMATH21954MaRDI QIDQ33753FDOQ33753

Author name not available (Why is that?)

Cited In (4)

• 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
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

This page was built for software: XTL