@InProceedings{10.1007/978-3-030-78142-2_13,
author="Nester, Chad",
editor="Damiani, Ferruccio
and Dardha, Ornela",
title="The Structure of Concurrent Process Histories",
booktitle="Coordination Models and Languages",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="209--224",
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.",
isbn="978-3-030-78142-2"
}