Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Design and validation of computer protocols
Design and validation of computer protocols
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
ACM Computing Surveys (CSUR)
An efficient recovery procedure for fault tolerance in distributed systems
Journal of Systems and Software - Special issue on fault tolerance in real-time systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Recovery approach to the design of stabilizing communication protocols
Computer Communications
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Automated Online Monitoring of Distributed Applications through External Monitors
IEEE Transactions on Dependable and Secure Computing
Hi-index | 0.00 |