Chapitre D'ouvrage Année : 2025

From Complementary to Zipper Semantics

Résumé

We present two serialized semantics format for process calculi based on labeled transition systems. Complementary semantics are useful to prove the congruence of bisimilarity. Zipper semantics are the first step toward the automatic derivation of an abstract machine. Both semantics are based on the same restrictions: inductive rules have at most one premise and some contextual information is kept in the label.

Fichier principal
Vignette du fichier
jb.pdf (476.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05322293 , version 1 (20-10-2025)

Licence

Identifiants

Citer

Sergueï Lenglet, Camille Noûs, Alan Schmitt. From Complementary to Zipper Semantics. Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 16065, Springer Nature Switzerland, pp.89-102, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-99717-4_5⟩. ⟨hal-05322293⟩
199 Consultations
161 Téléchargements

Altmetric

Partager

  • More