A Congruence Format for Name-passing Calculi

Axelle Ziegler 1 Dale Miller 2 Catuscia Palamidessi 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of the difficulties specific to name-binding and make them easier to handle in proofs. The contribution of this paper is the presentation of a format that ensures that open bisimilarity is a congruence for calculi specified within this framework, extending the well-known tyft/tyxt format to the case of name-binding and name-passing. We apply this result to the -calculus in both its late and early semantics.
Type de document :
Communication dans un congrès
Peter Mosses and Irek Ulidowski. 2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. Elsevier, 156 (1), pp.169-189, 2006, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.09.032〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00201085
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 11:52:49
Dernière modification le : jeudi 11 janvier 2018 - 01:49:36
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:24:22

Fichier

report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Axelle Ziegler, Dale Miller, Catuscia Palamidessi. A Congruence Format for Name-passing Calculi. Peter Mosses and Irek Ulidowski. 2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. Elsevier, 156 (1), pp.169-189, 2006, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.09.032〉. 〈inria-00201085〉

Partager

Métriques

Consultations de la notice

463

Téléchargements de fichiers

98