Università di Pisa
Sistema bibliotecario di ateneo

Tile Bisimilarity Congruences for Open Terms and Term Graphs

Bruni, Roberto and de Frutos-Escrig, D. and Marti-Oliet, N. and Montanari, Ugo (2000) Tile Bisimilarity Congruences for Open Terms and Term Graphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (166Kb)


    The definition of SOS formats ensuring that bisimilarity on closed terms is a congruence has received much attention in the last two decades. For dealing with open system specifications, the congruence is usually lifted from closed terms to open terms by instantiating the free variables in all possible ways; the only alternatives considered in the literature relying on Larsen and Xinxin's context systems and Rensink's conditional transition systems. We propose a different approach based on tile logic, where both closed and open terms are managed analogously. In particular, we analyze the `bisimilarity as congruence' property for several tile formats that accomplish different concepts of subterm sharing.

    Item Type: Book
    Uncontrolled Keywords: Bisimulation, tile logic, SOS formats, term graphs.
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 27 Jan 2015 10:30
    Last Modified: 27 Jan 2015 10:30
    URI: http://eprints.adm.unipi.it/id/eprint/2031

    Repository staff only actions

    View Item