Maximal traces and path-based coalgebraic temporal logics.

Corina Cîrstea

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

Keyphrases

mazurkiewicz traces
temporal logic
satisfiability problem
model checking
modal logic
concurrent systems
predicate logic
verification method
multi agent
expert systems
markov chain
theorem proving
linear temporal logic