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

Authors

page 1

page 2

page 3

page 4

10/16/2020

A Foundation for Ledger Structures

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

Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards

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

Concurrent Realizability on Conjunctive Structures

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

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

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

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

In this paper we focus on concurrent processes built on synchronization ...
06/23/2020

Homotopy Theoretic and Categorical Models of Neural Information Networks

In this paper we develop a novel mathematical formalism for the modeling...
10/07/2008

The meaning of concurrent programs

The semantics of assignment and mutual exclusion in concurrent and multi...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.