Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Jean-Bernard Stefani Connect in order to contact the contributor
Submitted on : Tuesday, April 21, 2009 - 6:52:52 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:24 AM
Long-term archiving on: : Wednesday, March 29, 2017 - 4:47:36 PM


Files produced by the author(s)


  • HAL Id : inria-00347137, version 2


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



Record views


Files downloads