Reliable communication over unreliable channels
Journal of the ACM (JACM)
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Hi-index | 0.00 |