Computer science/Concurrency

Subject Classification

ACM: Theory of computation~Concurrency

AMS: Computer science / Theory of computing / Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

2024

ConcurrentHOL

by Peter Gammie

Apr 16

2023

Coupled Similarity and Contrasimilarity, and How to Compute Them

by Benjamin Bisping and Luisa Montanari

Aug 18

Formalization of CommCSL: A Relational Concurrent Separation Logic for Proving Information Flow Security in Concurrent Programs

by Thibault Dardinier

Mar 15

2022

Residuated Transition Systems

by Eugene W. Stark

Feb 28

2019

A Formal Development of a Polychronous Polytimed Coordination Language

by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff

Jul 30

A Reduction Theorem for Store Buffers

by Ernie Cohen and Norbert Schirmer

Jan 07

2018

Formalization of Concurrent Revisions

by Roy Overbeek

Dec 25

2016

Concurrent Refinement Algebra and Rely Quotients

by Julian Fell, Ian J. Hayes and Andrius Velykis

Dec 30

A Constructive Proof for FLP

by Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters and Uwe Nestmann

May 18