Formal Relationships Between Geometrical and Classical Models for Concurrency

Abstract : A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses, etc. More recently, models with a geometrical flavor have been introduced, based on the notion of cubical set. These models are very rich and expressive since they can represent commutation between any bunch of events, thus generalizing the principle of true concurrency. While they seem to be very promising - because they make possible the use of techniques from algebraic topology in order to study concurrent computations - they have not yet been precisely related to the previous models, and the purpose of this paper is to fill this gap. In particular, we describe an adjunction between Petri nets and cubical sets which extends the previously known adjunction between Petri nets and asynchronous transition systems by Nielsen and Winskel.
Type de document :
Article dans une revue
Electronic Notes in Theoretical Computer Science, Elsevier, 2012, Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO), 283, pp.77-109. 〈10.1016/j.entcs.2012.05.007〉
Liste complète des métadonnées

Littérature citée [40 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00473765
Contributeur : Samuel Mimram <>
Soumis le : lundi 11 juin 2012 - 16:33:59
Dernière modification le : mercredi 14 février 2018 - 14:17:34
Document(s) archivé(s) le : mercredi 12 septembre 2012 - 02:35:43

Fichiers

petri-adj.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

CEA | DRT | LIST

Citation

Eric Goubault, Samuel Mimram. Formal Relationships Between Geometrical and Classical Models for Concurrency. Electronic Notes in Theoretical Computer Science, Elsevier, 2012, Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO), 283, pp.77-109. 〈10.1016/j.entcs.2012.05.007〉. 〈inria-00473765v2〉

Partager

Métriques

Consultations de la notice

117

Téléchargements de fichiers

83