From local to global temporal logics over Mazurkiewicz traces.

Volker Diekert Paul Gastin

Published in: Theor. Comput. Sci. (2006)

Keyphrases

mazurkiewicz traces
temporal logic
satisfiability problem
model checking
modal logic
belief revision
concurrent systems
image sequences
multi agent
computational complexity
special case