The Structure of Concurrent Process Histories

10/16/2020
by   Chad Nester, et al.
0

We identify the algebraic structure of the material histories generated by concurrent processes. Specifically, we extend existing categorical theories of resource convertibility to capture concurrent interaction. Our formalism admits an intuitive graphical presentation via string diagrams for proarrow equipments.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/16/2020

A Foundation for Ledger Structures

This paper introduces an approach to constructing ledger structures for ...
research
08/15/2021

Truly Concurrent Calculi with Reversibility, Probabilism and Guards

The well-known process algebras, such as CCS, ACP and π-calculus, captur...
research
12/29/2021

Concurrent Realizability on Conjunctive Structures

The point of this work is to explore axiomatisations of concurrent compu...
research
01/25/2022

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with op...
research
03/02/2018

Beyond series-parallel concurrent systems: the case of arch processes

In this paper we focus on concurrent processes built on synchronization ...
research
07/19/2023

Inductive diagrams for causal reasoning

The Lamport diagram is a pervasive and intuitive tool for informal reaso...
research
08/24/2021

The Mays and Musts of Concurrent Strategies

Concurrent strategies based on event structures are examined from the vi...

Please sign up or login with your details

Forgot password? Click here to reset