Efficient at-most-once messages based on synchronized clocks
ACM Transactions on Computer Systems (TOCS)
The impossibility of implementing reliable communication in the face of crashes
Journal of the ACM (JACM)
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Minimum-latency transport protocols with modulo-N incarnation numbers
IEEE/ACM Transactions on Networking (TON)
Distributed Algorithms
The Level of Handshake Required for Establishing a Connection
WDAG '94 Proceedings of the 8th International Workshop on Distributed Algorithms
Trade-Off Results for Connection Management
FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
Liveness in Timed and Untimed Systems
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Trade-offs between message delivery and quiesce times in connection management protocols
ISTCS '95 Proceedings of the 3rd Israel Symposium on the Theory of Computing Systems (ISTCS'95)
LIVENESS IN TIMED AND UNTIMED SYSTEMS
LIVENESS IN TIMED AND UNTIMED SYSTEMS
Formal verification of tcp and t/tcp
Formal verification of tcp and t/tcp
Information and Computation
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hi-index | 0.00 |