A formal method to prove ordering properties of multicast systems
ACM SIGOPS Operating Systems Review
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms
Proceedings of the 2010 ACM Symposium on Applied Computing
Hi-index | 0.00 |