Howe's Method for Early Bisimilarities

Sergueï Lenglet; Alan Schmitt; Jean-Bernard Stefani

inria-00347137, version 2

Howe's Method for Early Bisimilarities

Sergueï Lenglet ()^a^, 1, Alan Schmitt ()^b^, 1, Jean-Bernard Stefani ()^b^, 1

N° RR-6773 (2008)

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.

a – Université Joseph Fourier - Grenoble I
b – INRIA
1: SARDES (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
INRIA – Institut polytechnique de Grenoble (Grenoble INP) – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – CNRS : UMR5217

inria-00347137, version 2
http://hal.inria.fr/inria-00347137
oai:hal.inria.fr:inria-00347137
From: Jean-Bernard Stefani <>
Submitted on: Tuesday, 21 April 2009 18:52:52
Updated on: Wednesday, 22 April 2009 08:18:42

See detailed view

Associated documents

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="inria-00347137"><monogr>
<author><persName><forename>Sergueï</forename><surname>Lenglet</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">SARDES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre-Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<author><persName><forename>Alan</forename><surname>Schmitt</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">SARDES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre-Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Bernard</forename><surname>Stefani</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">SARDES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre-Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<title type="main" level="m">Howe's Method for Early Bisimilarities</title><title type="main" level="m">Howe's Method for Early Bisimilarities</title><imprint><biblScope type="publicationDate">2008-00-00</biblScope><biblScope type="pp">69</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00347137</idno><idno type="HALFile">http://hal.inria.fr/inria-00347137/PDF/RR-6773v2.pdf</idno></biblStruct>
</listBibl>
</listBibl>