Concurrent Process Histories and Resource Transducers
Logic in Computer Science
2023-06-22 v6 Category Theory
Abstract
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. We also consider certain induced categories of resource transducers, which are of independent interest due to their unusual structure.
Cite
@article{arxiv.2010.08233,
title = {Concurrent Process Histories and Resource Transducers},
author = {Chad Nester},
journal= {arXiv preprint arXiv:2010.08233},
year = {2023}
}