Howe's Method for Calculi with Passivation

Sergueï Lenglet 1 Alan Schmitt 1 Jean-Bernard Stefani 1
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We show how to apply Howe's method for the proof of congruence of early bisimilarities in a higher-order process calculus with passivation. This involves the introduction of a proof technique based on a new kind of transition system and bisimilarity, called complementary semantics. We show that complementary semantics is equivalent to contextual semantics, originally introduced by Sangiorgi, that relies on classical transition systems for higher-order calculi and context bisimilarity. We apply this technique to obtain the first characterization of weak barbed congruence for such a higher-order calculus with passivation.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00486800
Contributor : Alan Schmitt <>
Submitted on : Wednesday, May 26, 2010 - 5:20:32 PM
Last modification on : Thursday, February 21, 2019 - 1:31:23 AM
Document(s) archivé(s) le : Friday, October 19, 2012 - 3:02:23 PM

File

Lenglet2009Howes-Method-for-Ca...
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00486800, version 1

Collections

INRIA | LIG | UGA

Citation

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Calculi with Passivation. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462. ⟨inria-00486800⟩

Share

Metrics

Record views

675

Files downloads

141