Publication:3504344

zbMath1137.68446MaRDI QIDQ3504344

Dietrich Kuske, Paul Gastin

Publication date: 11 June 2008

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

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

03B44: Temporal logic

Related Items

Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces