Familial monads and structural operational semantics - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

Familial monads and structural operational semantics

Tom Hirschowitz

Résumé

We propose an abstract framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations. Finally, we demonstrate the flexibility of our approach by reproving known results about congruence of bisimilarity and soundness of bisimulation up to context, in three variants of the π-calculus.
Fichier principal
Vignette du fichier
draft.pdf (246.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01815328 , version 1 (14-06-2018)
hal-01815328 , version 2 (17-07-2018)
hal-01815328 , version 3 (29-08-2019)
hal-01815328 , version 4 (13-11-2019)

Identifiants

  • HAL Id : hal-01815328 , version 2

Citer

Tom Hirschowitz. Familial monads and structural operational semantics. 2018. ⟨hal-01815328v2⟩
210 Consultations
292 Téléchargements

Partager

Gmail Facebook X LinkedIn More