scientific article; zbMATH DE number 1361136

zbMath0939.68085MaRDI QIDQ4270073

M. Minea

Publication date: 20 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

networks of timed automatapartial order reduction method

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Stubborn set reduction for timed reachability and safety games ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Model Checking Real-Time Systems ⋮ Delay-dependent partial order reduction technique for real time systems ⋮ Unnamed Item ⋮ Structural transformations for data-enriched real-time systems ⋮ Automatic generation of path conditions for concurrent timed systems ⋮ Partial order reduction for checking soundness of time workflow nets ⋮ Modular Synthesis of Timed Circuits using Partial Orders on LPNs ⋮ Product interval automata