7 search results - page 2 / 2 » Axiomatizations for Temporal Epistemic Logic with Perfect Re... |
LFCS
2007
Springer
13 years 10 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
CONCUR
2010
Springer
13 years 5 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...