> For the complete documentation index, see [llms.txt](https://docs.arcology.network/arcology-technical-whitepaper/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.arcology.network/arcology-technical-whitepaper/references.md).

# 14. References

\[1] T. Bergan et al. CoreDet: A compiler and runtime system for deterministic multithreaded execution. In15th ASP-LOS, Mar. 2010

\[2] E. D. Berger et al. Grace: Safe multithreaded programming for C/C++. InOOPSLA, Oct. 2009.

\[3] H. Cui, J. Wu, and J. Yang. Stable deterministic multi-threading through schedule memoization. In9th OSDI,Oct. 2010.

\[4] J. Devietti et al. DMP: Deterministic shared memory mul-tiprocessing. In14th ASPLOS, Mar. 2009.

\[5] M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Ef-ficient deterministic multithreading in software. In14thASPLOS, Mar. 2009.

\[6] Efficient System-Enforced Deterministic Parallelism, Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. Jay Lepreau Best Paper Award, OSDI 2010.

\[7] M. Olszewski et al. Kendo: Efficient Deterministic Mul-tithreading in Software. InASPLOS ’09, 2009.

\[8] Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. arXiv preprint arXiv:1702.05511. 2017

\[9] M. D. Allen, S. Sridharan, and G. S. Sohi. Serialization sets: A dynamic dependence-based parallel execution model. InProc. Symp. on Principles and Practice of Parallel Programming, 2009.

\[10] R. Bocchino et al. Parallel programming must be deterministic by default. InProc. 1st Workshop on Hot Topics in Parallelism, 2009.

\[11]Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, and Nickolai Zeldovich. Algorand: Scaling byzantine agreements for cryptocurrencies. In Proceedings of the 26th Symposium on Operating Systems Principles, SOSP’17, pages 51–68, New York, NY, USA, 2017. ACM.

\[12] Vitalik Buterin and Virgil Griffith. Casper the friendly finality gadget.CoRR, abs/1710.09437, 2017

\[13] P. Robinson, D. Hyland-Wood, R. Saltini, S. Johnson,and J. Brainard. Atomic crosschain transactions for Ethereum private sidechains. Technical report, University of Queensland, 2019.

\[14]Peter Robinson, David Hyland-Wood, Roberto Saltini, San-dra Johnson, and John Brainard. 2019. Atomic Crosschain Transactions for Ethereum Private Sidechains. arXiv preprint arXiv:1904.12079.

\[15]S. Johnson, P. Robinson, and J. Brainard, “Sidechains and interoperability,” 2019. \[Online]. Available: <https://arxiv.org/pdf/1903.04077.pdf>

\[16]V. Buterin, “Cross-shard contract yanking,” 2018. \[Online]. Available: <https://ethresear.ch/t/cross-shard-contract-yanking/1450>

\[17] T. Liu and E. D. Berger, “DTHREADS : Efficient Deterministic Multithreading,” in In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP’11), 2011, pp. 327–336.