Concurrent Process Histories and Resource Transducers

We identify the algebraic structure of material histories generated by concurrent processes. Specifically, we extend existing categorical theories resource convertibility to capture interaction. Our formalism admits an intuitive graphical presentation via string diagrams for proarrow equipments. also consider certain induced categories transducers, which are independent interest due their unusual structure.