1. Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story
2. Gul A. Agha. 1997. Abstracting interaction patterns: A programming paradigm for open distributed systems. In Formal Methods for Open Object-based Distributed Systems, IFIP Transactions, E. Najm Stefani and J.-B. (Eds.). Chapman and Hall.
3. F. Baccelli, G. Cohen, G. J. Olster, and J. P. Quadrat. 1992. Synchronization and Linearity, An Algebra for Discrete Event Systems. Wiley, New York.
4. Xronos: Predictable coordination for safety-critical distributed embedded systems;Bateni Soroush;arXiv:2207.09555 [cs.DC],2022
5. The synchronous approach to reactive and real-time systems