Publication:4270073
From MaRDI portal
zbMath0939.68085MaRDI QIDQ4270073
Publication date: 20 December 1999
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Structural transformations for data-enriched real-time systems, Partial order reduction for checking soundness of time workflow nets, Stubborn set reduction for timed reachability and safety games, Automatic generation of path conditions for concurrent timed systems, Delay-dependent partial order reduction technique for real time systems, Product interval automata, Modular Synthesis of Timed Circuits using Partial Orders on LPNs, Statistical Model Checking for Networks of Priced Timed Automata, Model Checking Real-Time Systems