References

Ahmed, Dewan T., and Shervin Shirmohammadi. 2008. “A Dynamic Area of Interest Management and Collaboration Model for P2P MMOGs.” Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT ’08), 27–34. https://doi.org/10.1109/DS-RT.2008.26.

Ahmed, Dewan T., and Shervin Shirmohammadi. 2009. “Zoning Issues and Area of Interest Management in Massively Multiplayer Online Games.” In Handbook of Multimedia for Digital Entertainment and Arts. Springer. https://doi.org/10.1007/978-0-387-89024-1_8.

Apple Inc. 2026. FoundationDB. https://github.com/apple/foundationdb.

Baughman, Nathaniel E., Marc Liberatore, and Brian Neil Levine. 2007. “Cheat-Proof Playout for Centralized and Peer-to-Peer Gaming.” IEEE/ACM Transactions on Networking 15 (1). https://doi.org/10.1109/TNET.2006.886289.

Beskow, Paul B., Knut-Helge Vik, Pål Halvorsen, and Carsten Griwodz. 2009. “The Partial Migration of Game State and Dynamic Server Selection to Reduce Latency.” Multimedia Tools and Applications 45 (1–3): 83–107. https://doi.org/10.1007/s11042-009-0287-7.

Bharambe, Ashwin R., Venkata N. Padmanabhan, and Srinivasan Seshan. 2004. “Supporting Spectators in Online Multiplayer Games.” Proceedings of the 3rd Workshop on Hot Topics in Networks (HotNets-III). https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/hotnets2004.pdf.

Boulanger, Jean-Sébastien, Jörg Kienzle, and Clark Verbrugge. 2006. “Comparing Interest Management Algorithms for Massively Multiplayer Games.” Proceedings of the 5th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames ’06). https://doi.org/10.1145/1230040.1230046.

Braud, Tristan, Ahmad Alhilal, and Pan Hui. 2021. “Talaria: In-Engine Synchronisation for Seamless Migration of Mobile Edge Gaming Instances.” Proceedings of the 17th International Conference on Emerging Networking EXperiments and Technologies (CoNEXT ’21), 375–81. https://doi.org/10.1145/3485983.3494848.

Cockroach Labs. 2020. Parallel Commits TLA+ Specification. https://github.com/v-sekai/cockroach/blob/release-22.1-oxide/docs/tla-plus/ParallelCommits/ParallelCommits.tla.

Cockroach Labs. 2026. CockroachDB. https://www.cockroachlabs.com/.

CockroachDB Manual Deployment. 2026. https://www.cockroachlabs.com/docs/v22.1/manual-deployment.html.

Cronin, Eric, Brian Filstrup, and Sugih Jamin. 2003. “Cheat-Proofing Dead Reckoned Multiplayer Games.” Workshop on Anti-Cheating in Online Games (ADCOG), Co-Located with ACM SIGCOMM.

Dokku Documentation. 2026. http://dokku.viewdocs.io/dokku/.

Exit Games. 2026. Photon PUN2: Regions and Best Region. https://doc.photonengine.com/pun/current/connection-and-authentication/regions.

FoundationDB Fault Tolerance. 2026. https://apple.github.io/foundationdb/fault-tolerance.html.

Frindell, Alan, Eric Kinnear, and Victor Vassiliev. 2023. WebTransport over HTTP/3. RFC 9220, IETF. https://www.rfc-editor.org/rfc/rfc9220.

GDScript Documentation. 2026. https://docs.godotengine.org/en/stable/getting_started/scripting/gdscript/gdscript_basics.html.

Godot Engine. 2026. https://godotengine.org/.

Godot Engine Contributors. 2022. Add WebTransport Support (Proposal #3899). https://github.com/godotengine/godot-proposals/issues/3899.

Godot Engine contributors. 2026. Godot 4.x Dynamic BVH Broadphase: Node Expansion Constants. https://github.com/godotengine/godot/blob/master/servers/physics_3d/godot_broad_phase_3d_bvh.h.

Godot Engine Documentation. 2026. https://docs.godotengine.org/.

Guinness World Records, and Daybreak Game Company. 2022. Most Players Simultaneously in a First-Person Shooter Battle: Planetside 2 World Record. https://www.guinnessworldrecords.com/world-records/most-players-simultaneously-in-a-fps-battle.

Helm Documentation. 2026. https://helm.sh/docs/.

Jacobson, Van, and Michael J. Karels. 1988. “Congestion Avoidance and Control.” Proceedings of SIGCOMM ’88, 314–29. https://doi.org/10.1145/52324.52356.

Karn, Phil, and Craig Partridge. 1987. “Improving Round-Trip Time Estimates in Reliable Transport Protocols.” Proceedings of ACM SIGCOMM ’87, 2–7. https://doi.org/10.1145/55483.55484.

Kulkarni, Sandeep, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, and Marcelo Leone. 2014. “Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases.” Stabilization, Safety, and Security of Distributed Systems (SSS 2014). https://doi.org/10.1007/978-3-319-11764-5_14.

Lazaridis, Lazaros, Maria Papatsimouli, Konstantinos F. Kollias, Panagiotis Sarigiannidis, and George F. Fragulis. 2021. “Hitboxes: A Survey about Collision Detection in Video Games.” HCI in Games: Experience Design and Game Mechanics, Lecture notes in computer science, vol. 12789: 307–20. https://doi.org/10.1007/978-3-030-77277-2_24.

Lee, Steven W. K., and Rocky K. C. Chang. 2018. “Enhancing the Experience of Multiplayer Shooter Games via Advanced Lag Compensation.” Proceedings of the 9th ACM Multimedia Systems Conference (MMSys ’18), 284–93. https://doi.org/10.1145/3204949.3204971.

Liu, Elvis S., and Georgios K. Theodoropoulos. 2014. “Interest Management for Distributed Virtual Environments: A Survey.” ACM Computing Surveys 46 (4). https://doi.org/10.1145/2535417.

Liu, Shengmei, Xiaokun Xu, and Mark Claypool. 2022. “A Survey and Taxonomy of Latency Compensation Techniques for Network Computer Games.” ACM Computing Surveys 54 (11s). https://doi.org/10.1145/3519023.

Mills, David, Juergen Martin, Jack Burbank, and William Kasch. 2010. Network Time Protocol Version 4: Protocol and Algorithms Specification. RFC No. 5905. IETF. https://doi.org/10.17487/RFC5905.

Morgan, Graham, Kier Storey, and Fengyun Lu. 2004. “Expanding Spheres: A Collision Detection Algorithm for Interest Management in Networked Games.” Entertainment Computing – ICEC 2004, Lecture notes in computer science, vol. 3166: 507–16. https://doi.org/10.1007/978-3-540-28643-1_56.

Moura, Leonardo de, and Sebastian Ullrich. 2021. “The Lean 4 Theorem Prover and Programming Language.” Automated Deduction – CADE 28. https://doi.org/10.1007/978-3-030-79876-5_37.

Salzman, Lee. 2026. ENet: Reliable UDP Networking Library. http://enet.bespin.org/.

Systemd Service Unit Documentation. 2026. https://www.freedesktop.org/software/systemd/man/systemd.service.html.

Tailscale Funnel Documentation. 2026. https://tailscale.com/kb/1132/tailscale-funnel/.

The mathlib Community. 2020. “The Lean Mathematical Library.” Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. https://doi.org/10.1145/3372885.3373824.

The Twelve-Factor App: Config. 2026. https://12factor.net/config.

VRChat School. 2026. VRChat Network Sync and IK Update Rate. https://vrchatschool.com/network-sync/.

Zhou, Jingyu, Meng Xu, Alexander Shraer, et al. 2021. “FoundationDB: A Distributed Unbundled Transactional Key Value Store.” Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data. https://doi.org/10.1145/3448016.3457559.