Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Introduction to the theory of nested transactions
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Distributed Algorithms
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
Forward and Backward Simulations for Timing-Based Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Liveness in Timed and Untimed Systems
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
A team automaton scenario for the analysis of security properties of communication protocols
Journal of Automata, Languages and Combinatorics
Hi-index | 0.89 |