Universidad Complutense de Madrid
E-Prints Complutense


Number of items: 1.

Bruni, Roberto and Frutos Escrig, David de and Martí Oliet, Narciso and Montanari, Ugo (2000) Bisimilarity congruences for open terms and term graphs via tile logic. In CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Lecture notes in computer science (1877). Springer, pp. 259-274. ISBN 978-3-540-67897-7

This list was generated on Wed Apr 21 03:23:16 2021 CEST.