Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Romero Hernandez, David and Frutos Escrig, David de (2014) Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (8461). Springer, Berlin, pp. 249-265. ISBN 978-3-662-43613-4

This list was generated on Thu Dec 3 20:45:51 2020 CET.