Author:
Alagar Sridhar,Venkatesan S.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verified Causal Broadcast with Liquid Haskell;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31
2. Efficient distributed snapshots in an anonymous asynchronous message-passing system;Journal of Parallel and Distributed Computing;2013-05
3. Nature of Distributed Computations and the Concept of a Global State;Distributed Algorithms for Message-Passing Systems;2013
4. Order Constraints on Message Delivery;Distributed Algorithms for Message-Passing Systems;2013
5. Distributed snapshots foradhocnetwork systems;International Journal of Parallel, Emergent and Distributed Systems;2011-04