Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Proceedings of the 21st international conference on Software engineering
An Exercise in Formal Reasoning about Mobile Communications
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Algorithms for validating E-tickets in mobile computing environment
Information Sciences: an International Journal
Hi-index | 0.00 |