Forward and backward simulations -- Part II: timing-based systems.

Proving time bounds for randomized distributed algorithms

PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing

Trade-off results for connection management

Theoretical Computer Science

From I/O Automata to Timed I/O Automata

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics

Discrete event modeling through a multi-formalism approach, from a user-oriented perspective

SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2