% Numbering follows the manuscript's fixed reference order, recorded in literature.md.
% Web sources were checked on 2026-09-29 (America/Los_Angeles).
% Preprints remain labeled as preprints; no publication venue is inferred.

@article{gelernter1985linda,
  author = {Gelernter, David},
  title = {Generative Communication in {Linda}},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {7},
  number = {1},
  pages = {80--112},
  year = {1985},
  url = {https://www.cs.tufts.edu/comp/150FP/archive/david-gelernter/generative-linda.pdf}
}

@inproceedings{burrows2006chubby,
  author = {Burrows, Mike},
  title = {The {Chubby} Lock Service for Loosely-Coupled Distributed Systems},
  booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
  pages = {335--350},
  year = {2006},
  publisher = {USENIX Association},
  url = {https://www.usenix.org/legacy/event/osdi06/tech/full_papers/burrows/burrows_html/}
}

@article{kung1981occ,
  author = {Kung, H. T. and Robinson, John T.},
  title = {On Optimistic Methods for Concurrency Control},
  journal = {ACM Transactions on Database Systems},
  volume = {6},
  number = {2},
  pages = {213--226},
  year = {1981},
  url = {https://www.eecs.harvard.edu/~htk/publication/1981-tods-kung-robinson.pdf}
}

@article{herlihy1990linearizability,
  author = {Herlihy, Maurice P. and Wing, Jeannette M.},
  title = {Linearizability: A Correctness Condition for Concurrent Objects},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {12},
  number = {3},
  pages = {463--492},
  year = {1990},
  url = {https://www.cs.cmu.edu/~wing/publications/HerlihyWing90.pdf}
}

@inproceedings{pang2019zanzibar,
  author = {Pang, Ruoming and Caceres, Ramon and Burrows, Mike and Chen, Zhifeng and Dave, Pratik and Germer, Nathan and Golynski, Alexander and Graney, Kevin and Kang, Nina and Kissner, Lea and Korn, Jeffrey L. and Parmar, Abhishek and Richards, Christina D. and Wang, Mengzhi},
  title = {{Zanzibar}: Google's Consistent, Global Authorization System},
  booktitle = {2019 USENIX Annual Technical Conference (USENIX ATC 19)},
  pages = {33--46},
  year = {2019},
  publisher = {USENIX Association},
  url = {https://www.usenix.org/conference/atc19/presentation/pang}
}

@misc{liao2026tracegrant,
  author = {Liao, Bohao and Wang, Jingchao and Song, Qipeng and Cao, Jin and Wang, Jieling and Deng, Boyu},
  title = {{TraceGrant}: A Contract-Governed Security Framework for the Task-Effect Lifecycle of Networked {LLM} Agents},
  year = {2026},
  eprint = {2608.21126},
  archivePrefix = {arXiv},
  note = {Preprint, version 1, 21 August 2026},
  url = {https://arxiv.org/abs/2608.21126v1}
}

@inproceedings{debenedetti2024agentdojo,
  author = {Debenedetti, Edoardo and Zhang, Jie and Balunović, Mislav and Beurer-Kellner, Luca and Fischer, Marc and Tramèr, Florian},
  title = {{AgentDojo}: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for {LLM} Agents},
  booktitle = {Advances in Neural Information Processing Systems 37, Datasets and Benchmarks Track},
  year = {2024},
  url = {https://proceedings.neurips.cc/paper_files/paper/2024/file/97091a5177d8dc64b1da8bf3e1f6fb54-Paper-Datasets_and_Benchmarks_Track.pdf}
}

@misc{cemri2025mast,
  author = {Cemri, Mert and Pan, Melissa Z. and Yang, Shuyi and Agrawal, Lakshya A. and Chopra, Bhavya and Tiwari, Rishabh and Keutzer, Kurt and Parameswaran, Aditya and Klein, Dan and Ramchandran, Kannan and Zaharia, Matei and Gonzalez, Joseph E. and Stoica, Ion},
  title = {Why Do Multi-Agent {LLM} Systems Fail?},
  year = {2025},
  eprint = {2503.13657},
  archivePrefix = {arXiv},
  primaryClass = {cs.AI},
  note = {Preprint, version 2, 22 April 2025; version-specific taxonomy and study},
  url = {https://arxiv.org/abs/2503.13657v2}
}

@misc{wu2023autogen,
  author = {Wu, Qingyun and Bansal, Gagan and Zhang, Jieyu and Wu, Yiran and Li, Beibin and Zhu, Erkang and Jiang, Li and Zhang, Xiaoyun and Zhang, Shaokun and Liu, Jiale and Awadallah, Ahmed Hassan and White, Ryen W. and Burger, Doug and Wang, Chi},
  title = {{AutoGen}: Enabling Next-Gen {LLM} Applications via Multi-Agent Conversation},
  year = {2023},
  eprint = {2308.08155},
  archivePrefix = {arXiv},
  note = {Cited version: arXiv version 2; this entry does not conflate it with later conference revisions},
  url = {https://arxiv.org/abs/2308.08155v2}
}

@inproceedings{necula1997pcc,
  author = {Necula, George C.},
  title = {Proof-Carrying Code},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 97)},
  year = {1997},
  doi = {10.1145/263699.263712},
  url = {https://doi.org/10.1145/263699.263712}
}

@techreport{moreau2013prov,
  editor = {Moreau, Luc and Missier, Paolo},
  title = {{PROV-DM}: The {PROV} Data Model},
  institution = {World Wide Web Consortium},
  type = {W3C Recommendation},
  year = {2013},
  month = apr,
  note = {30 April 2013},
  url = {https://www.w3.org/TR/2013/REC-prov-dm-20130430/}
}

@manual{a2a2026spec,
  author = {{A2A Protocol Working Group}},
  title = {{Agent2Agent (A2A)} Protocol Specification},
  year = {2026},
  version = {1.0.0},
  note = {Version 1.0.0, released 12 March 2026; accessed 29 September 2026},
  urldate = {2026-09-29},
  url = {https://a2a-protocol.org/v1.0.0/specification/}
}

@manual{mcp2026tasks,
  author = {{Model Context Protocol Contributors}},
  title = {Tasks: {MCP Tasks Extension}},
  year = {2026},
  version = {2026-07-28},
  note = {Specification version 2026-07-28; extension identifier io.modelcontextprotocol/tasks; accessed 29 September 2026},
  urldate = {2026-09-29},
  url = {https://modelcontextprotocol.github.io/ext-tasks/specification/2026-07-28/tasks.html}
}

@manual{temporalActivities,
  author = {{Temporal Technologies}},
  title = {Activity Definition and Activity Execution},
  organization = {Temporal Technologies},
  note = {Living official documentation, publication date unspecified; accessed 29 September 2026. Companion page: https://docs.temporal.io/activity-execution},
  urldate = {2026-09-29},
  url = {https://docs.temporal.io/activity-definition}
}