1. The Structure of Concurrent Process Histories
- Author
-
Chad Nester, Tallinn University of Technology (TTÜ), Ferruccio Damiani, Ornela Dardha, TC 6, and WG 6.1
- Subjects
Structure (mathematical logic) ,Theoretical computer science ,010308 nuclear & particles physics ,Computer science ,Formalism (philosophy) ,Process (engineering) ,Algebraic structure ,010102 general mathematics ,String (computer science) ,01 natural sciences ,[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,Resource (project management) ,0103 physical sciences ,[INFO]Computer Science [cs] ,0101 mathematics ,Categorical variable - Abstract
Part 4: Modelling: Structures and Implementations; International audience; 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.
- Published
- 2021
- Full Text
- View/download PDF