Howe's Method for Contextual Semantics - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Howe's Method for Contextual Semantics

Sergueï Lenglet
  • Fonction : Auteur
  • PersonId : 945356
Formal islands: foundations and applications
Alan Schmitt
Software certification with semantic analysis
CV

Résumé

We show how to use Howe's method to prove that context bisimilarity is a congruence for process calculi equipped with their usual semantics. We apply the method to two extensions of HOπ, with passivation and with join patterns, illustrating different proof techniques.

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
Concur 15.pdf (464.33 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Sergueï Lenglet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01192699

Soumis le : jeudi 3 septembre 2015-12:24:24

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Archivage à long terme le : vendredi 4 décembre 2015-11:12:45

Télécharger pour visualiser

Dates et versions

hal-01192699 , version 1 (03-09-2015)

Identifiants

Citer

Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩. ⟨hal-01192699⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D4 UNIV-LORRAINE INRIA2 LORIA LORIA-FM UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
284 Consultations
158 Téléchargements

Altmetric

Partager

More