A Brief Survey of Formal Models of Concurrency
Uloženo v:
| Vydáno v: | arXiv.org (Dec 10, 2024), p. n/a |
|---|---|
| Hlavní autor: | |
| Vydáno: |
Cornell University Library, arXiv.org
|
| Témata: | |
| On-line přístup: | Citation/Abstract Full text outside of ProQuest |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3148980634 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 035 | |a 3148980634 | ||
| 045 | 0 | |b d20241210 | |
| 100 | 1 | |a Averill, Charles | |
| 245 | 1 | |a A Brief Survey of Formal Models of Concurrency | |
| 260 | |b Cornell University Library, arXiv.org |c Dec 10, 2024 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a The ubiquity of networking infrastructure in modern life necessitates scrutiny into networking fundamentals to ensure the safety and security of that infrastructure. The formalization of concurrent algorithms, a cornerstone of networking, is a longstanding area of research in which models and frameworks describing distributed systems are established. Despite its long history of study, the challenge of concisely representing and verifying concurrent algorithms remains unresolved. Existing formalisms, while powerful, often fail to capture the dynamic nature of real-world concurrency in a manner that is both comprehensive and scalable. This paper explores the evolution of formal models of concurrency over time, investigating their generality and utility for reasoning about real-world networking programs. Four foundational papers on formal concurrency are considered: Hoare's Parallel programming: An axiomatic approach, Milner's A Calculus of Mobile Processes, O'Hearn's Resources, Concurrency and Local Reasoning, and the recent development of Coq's Iris framework. | |
| 653 | |a Algorithms | ||
| 653 | |a Parallel programming | ||
| 653 | |a Infrastructure | ||
| 653 | |a Concurrency | ||
| 653 | |a Reasoning | ||
| 773 | 0 | |t arXiv.org |g (Dec 10, 2024), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3148980634/abstract/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/2412.16179 |