2026-06-27T12:23:53Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/606592024-07-10T15:58:24Zcom_20.500.14352_14col_20.500.14352_21

Bruni, Roberto Frutos Escrig, David De Martí Oliet, Narciso Montanari, Ugo 2023-06-20T21:05:22Z 2023-06-20T21:05:22Z 2000 Bruni, R., Frutos Escrig, D., Martí Oliet, N. & Montanari, U. «Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic». CONCUR 2000 — Concurrency Theory, editado por Catuscia Palamidessi, vol. 1877, Springer Berlin Heidelberg, 2000, pp. 259-74. DOI.org (Crossref), https://doi.org/10.1007/3-540-44618-4_20. 978-3-540-67897-7 10.1007/3-540-44618-4_20 https://hdl.handle.net/20.500.14352/60659 https//doi.org/10.1007/3-540-44618-4_20 http://link.springer.com/content/pdf/10.1007%2F3-540-44618-4_20 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 terms, the congruence is usually lifted from closed terms by instantiating the free variables in all possible ways; the only alternatives considered in the literature are Larsen and Xinxin’s context systems and Rensink’s conditional transition systems. We propose an approach based on tile logic, where closed and open terms are managed uniformly, and study the ‘bisimilarity as congruence’ property for several tile formats, accomplishing different concepts of open system. eng open access Bisimilarity congruences for open terms and term graphs via tile logic book part