The Structure of Concurrent Process Histories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

The Structure of Concurrent Process Histories

Chad Nester
  • Fonction : Auteur
  • PersonId : 1114104

Résumé

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.
Fichier principal
Vignette du fichier
509400_1_En_13_Chapter.pdf (6.63 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03387843 , version 1 (20-10-2021)

Licence

Paternité

Identifiants

Citer

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⟩
30 Consultations
15 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More