Chad Nester - Concurrent Process Histories and Resource Transducers

lmcs:8782 - Logical Methods in Computer Science, January 18, 2023, Volume 19, Issue 1 -
Concurrent Process Histories and Resource Transducers

Authors: Chad Nester

    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.

    Volume: Volume 19, Issue 1
    Published on: January 18, 2023
    Accepted on: October 6, 2022
    Submitted on: December 1, 2021
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Category Theory


    Consultation statistics

    This page has been seen 433 times.
    This article's PDF has been downloaded 205 times.