Howe's Method for Calculi with Passivation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Howe's Method for Calculi with Passivation


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.
Fichier principal
Vignette du fichier
Lenglet2009Howes-Method-for-Cal.pdf (183.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00486800 , version 1 (26-05-2010)


  • HAL Id : inria-00486800 , version 1


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⟩
92 View
138 Download


Gmail Facebook X LinkedIn More