Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.

Corina Cîrstea

Published in: CMCS (2010)

Keyphrases

mazurkiewicz traces
temporal logic
model checking
satisfiability problem
modal logic
verification method
concurrent systems
cellular automata
spatial information
belief revision
temporal knowledge
computation tree logic
transition systems
linear temporal logic