Skip to Main content Skip to Navigation
New interface
Conference papers

The Structure of Concurrent Process Histories

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.
Complete list of metadata

https://hal.inria.fr/hal-03387843
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2021 - 9:01:52 AM
Last modification on : Wednesday, October 20, 2021 - 10:19:41 AM
Long-term archiving on: : Friday, January 21, 2022 - 7:18:18 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2024-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Chad Nester. The Structure of Concurrent Process Histories. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.209-224, ⟨10.1007/978-3-030-78142-2_13⟩. ⟨hal-03387843⟩

Share

Metrics

Record views

17