Cover Image

A Brief Survey of Formal Models of Concurrency

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Averill, Charles
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Conversational Concurrency with Dataspaces and Facets
by: Caldwell, Sam, et al.
Published: (2025)

A Brief Overview of the Pawns Programming Language
by: Naish, Lee
Published: (2024)

Logical Relations for Session-Typed Concurrency
by: Balzer, Stephanie, et al.
Published: (2023)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
by: Enea, Constantin, et al.
Published: (2023)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
by: Tunç, Hünkar Can, et al.
Published: (2024)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
by: Fedchin, Aleksandr, et al.
Published: (2025)

A Natural Formalized Proof Language
by: Xie, Lihan, et al.
Published: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
by: Nagar, Kartik, et al.
Published: (2020)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

A Lazy, Concurrent Convertibility Checker
by: Courant, Nathanaëlle, et al.
Published: (2025)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
by: Vidal, Germán
Published: (2023)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
by: Flanagan, Cormac, et al.
Published: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)

A Brief Look at Introductory Information Science in Library Schools, 1980.
by: Davis, Charles H., et al.
Published: (1981)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

$φ$-Calculus: Object-Oriented Formalism
by: Bugayenko, Yegor, et al.
Published: (2021)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
by: Yang, Chengxi, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)

Towards Concurrent Quantitative Separation Logic
by: Fesefeldt, Ira, et al.
Published: (2022)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Costa, Diana, et al.
Published: (2024)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Peters, Kirstin, et al.
Published: (2026)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

Generation of Compiler Backends from Formal Models of Hardware
by: Smith, Gus Henry
Published: (2024)

Declarative Concurrent Data Structures
by: Raza, Aun, et al.
Published: (2024)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
by: Derakhshan, Farzaneh, et al.
Published: (2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
by: Chakraborty, Soham, et al.
Published: (2025)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
by: Monat, Raphaël, et al.
Published: (2024)

Package Managers à la Carte: A Formal Model of Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2026)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
by: Zhang, Kaiwen, et al.
Published: (2026)

Random Variate Generation with Formal Guarantees
by: Saad, Feras A., et al.
Published: (2025)