TY  - CHAP
AU  - Bruni, Roberto
AU  - Frutos Escrig, David De
AU  - Martí Oliet, Narciso
AU  - Montanari, Ugo
A4  - Palamidessi, Catuscia
PY  - 2000
DO  - 10.1007/3-540-44618-4_20
SN  - 978-3-540-67897-7
UR  - https://hdl.handle.net/20.500.14352/60659
AB  - 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...
LA  - eng
M2  - 259
PB  - Springer
KW  - Models and methods for concurrent and distributed computing
KW  - Bisimulation
KW  - Transition nets
KW  - Process algebras
TI  - Bisimilarity congruences for open terms and term graphs via tile logic
TY  - book part
ER  -