Howe's Method for Contextual Semantics

Sergueï Lenglet 1 Alan Schmitt 2
1 PAREO - Formal islands: foundations and applications
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Communication dans un congrès
CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. <10.4230/LIPIcs.CONCUR.2015.212>
Liste complète des métadonnées


https://hal.inria.fr/hal-01192699
Contributeur : Sergueï Lenglet <>
Soumis le : jeudi 3 septembre 2015 - 12:24:24
Dernière modification le : mercredi 2 août 2017 - 10:07:07
Document(s) archivé(s) le : vendredi 4 décembre 2015 - 11:12:45

Fichier

Concur 15.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

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>

Partager

Métriques

Consultations de
la notice

410

Téléchargements du document

64