Cover Image

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dvir, Yotam, Kammar, Ohad, Lahav, Ori, Plotkin, Gordon
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Distributed, Parallel, and Cluster Computing Logic in Computer Science D.3.1; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fair Termination of Asynchronous Binary Sessions
by: Padovani, Luca, et al.
Published: (2025)

Just Verification of Mutual Exclusion Algorithms
by: van Glabbeek, Rob, et al.
Published: (2025)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
by: Cignarale, Giorgio, et al.
Published: (2024)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
by: Konnov, Igor, et al.
Published: (2025)

Semitopology: a topological approach to decentralised collaborative action
by: Gabbay, Murdoch
Published: (2023)

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
by: Todoran, Eneia Nicolae, et al.
Published: (2024)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
by: Colonnelli, Iacopo, et al.
Published: (2024)

DNA sequence alignment: An assignment for OpenMP, MPI, and CUDA/OpenCL
by: Gonzalez-Escribano, Arturo, et al.
Published: (2024)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
by: Du, Ke, et al.
Published: (2026)

An Evaluation of Massively Parallel Algorithms for DFA Minimization
by: Martens, Jan, et al.
Published: (2024)

Stream parallel skeleton optimization
by: Aldinucci, Marco, et al.
Published: (2024)

StreamFlow: cross-breeding cloud with HPC
by: Colonnelli, Iacopo, et al.
Published: (2020)

Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
by: Gallone, Anna, et al.
Published: (2025)

Hyperproperty-Preserving Register Specifications (Extended Version)
by: Shimon, Yoav Ben, et al.
Published: (2024)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Categorical Message Passing Language (CaMPL) for programmers
by: Hashimoto, Daniel Kiyoshi, et al.
Published: (2026)

pLUTo: Enabling Massively Parallel Computation in DRAM via Lookup Tables
by: Ferreira, João Dinis, et al.
Published: (2021)

What Cannot Be Implemented on Weak Memory?
by: Castañeda, Armando, et al.
Published: (2024)

A Fast Parallel Median Filtering Algorithm Using Hierarchical Tiling
by: Sugy, Louis
Published: (2025)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)

On Homomorphism Graphs
by: Brandt, Sebastian, et al.
Published: (2021)

From descriptive to distributed
by: Grebík, Jan, et al.
Published: (2025)

Borel Vizing's Theorem for Graphs of Subexponential Growth
by: Bernshteyn, Anton, et al.
Published: (2023)

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
by: Bernshteyn, Anton, et al.
Published: (2023)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
by: Guerreiro, Miguel de Oliveira
Published: (2025)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Proceedings 18th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2025)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

Application Placement with Constraint Relaxation
by: Azzolini, Damiano, et al.
Published: (2025)

Distributed Knowledge in Simplicial Models
by: Goubault, Éric, et al.
Published: (2026)

A categorical and logical framework for iterated protocols
by: Goubault, Eric, et al.
Published: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
by: Schreiber, Dominik
Published: (2025)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Verifying the Hashgraph Consensus Algorithm
by: Crary, Karl
Published: (2021)

Knowledge and simplicial complexes
by: van Ditmarsch, Hans, et al.
Published: (2020)