Relating Message Passing and Shared Memory, Proof-Theoretically - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Relating Message Passing and Shared Memory, Proof-Theoretically

Frank Pfenning
  • Fonction : Auteur
  • PersonId : 1408360
Klaas Pruiksma
  • Fonction : Auteur
  • PersonId : 1408361

Résumé

We exhibit a strong bisimulation between asynchronous message passing concurrency with session types and shared memory concurrency with futures. A key observation is that both arise from closely related interpretations of the semi-axiomatic sequent calculus with recursive definitions, which provides a unifying framework. As a further result we show that the bisimulation applies to both linear and nonlinear versions of the two languages.
Fichier sous embargo
Fichier sous embargo
1 0 10
Année Mois Jours
Avant la publication
jeudi 1 janvier 2026
Fichier sous embargo
jeudi 1 janvier 2026
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04673814 , version 1 (20-08-2024)

Licence

Identifiants

Citer

Frank Pfenning, Klaas Pruiksma. Relating Message Passing and Shared Memory, Proof-Theoretically. 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.3-27, ⟨10.1007/978-3-031-35361-1_1⟩. ⟨hal-04673814⟩
31 Consultations
1 Téléchargements

Altmetric

Partager

More