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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Résumé : Nous montrons comment utiliser la méthode de Howe pour prouver que la bissimilarité contextuelle d’un calcul de processus muni de sa sémantique habituelle est une congruence. Nous appliquons cette méthode à deux extensions de HOπ, l’une avec passivation, l’autre avec des motifs à jointure, pour mettre en évidence des techniques de preuve différentes.
Type de document :
Rapport
[Research Report] RR-8750, Inria. 2015, pp.31
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01168865
Contributeur : Alan Schmitt <>
Soumis le : vendredi 26 juin 2015 - 16:08:50
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : vendredi 9 octobre 2015 - 18:55:14

Fichier

RR-8750.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01168865, version 1

Citation

Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. [Research Report] RR-8750, Inria. 2015, pp.31. 〈hal-01168865〉

Partager

Métriques

Consultations de la notice

677

Téléchargements de fichiers

122