Efficient Model Checking of Causal-Knowledge Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Composing Specifications for Coordination
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
An expressively complete linear time temporal logic for Mazurkiewicz traces
Information and Computation - Special issue: LICS'97
Local knowledge assertions in a changing world: extended abstract
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Keeping track of the latest gossip in a distributed system
Distributed Computing
Deciding Global Partial-Order Properties
Formal Methods in System Design
Difficult Configurations—On the Complexity of LTrL
Formal Methods in System Design
Modal logic over higher dimensional automata
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Hi-index | 0.00 |