Branching-Depth Hierarchies

DOI10.1016/S1571-0661(05)82504-6zbMath1260.03034OpenAlexW2004558225MaRDI QIDQ4917027

Eli Shamir, Shoham Shamir, Orna Kupferman

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)82504-6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (2)

Parameterized model checking of rendezvous systems ⋮ Model Checking Parameterised Multi-token Systems via the Composition Method

This page was built for publication: Branching-Depth Hierarchies