Howe's Method for Early Bisimilarities

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 : This report shows how to apply Howe's method for the proof of congruence of early bisimilarities in higher-order process calculi. This involves the introduction of a new kind of transition system and a new kind of bisimilarity, collectively 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.
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00347137
Contributor : Jean-Bernard Stefani <>
Submitted on : Tuesday, April 21, 2009 - 6:52:52 PM
Last modification on : Thursday, February 21, 2019 - 1:31:23 AM
Document(s) archivé(s) le : Wednesday, March 29, 2017 - 4:47:36 PM

File

RR-6773v2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00347137, version 2

Collections

Citation

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities. [Research Report] RR-6773, INRIA. 2008, pp.69. 〈inria-00347137v2〉

Share

Metrics

Record views

260

Files downloads

156