Quantitative Relations and Approximate Process Equivalences

@incollection{processequivalence-concur2003,
   apice = {ProcessequivalenceConcur2003},
   author = {Di Pierro, Alessandra and Hankin, Chris and Wiklicky, Herbert},
   booktitle = {CONCUR 2003},
   doi = {10.1007/978-3-540-45187-7_33},
   editor = {Amadio, Roberto M. and Lugiez, Denis},
   isbn = {3-540-40753-7},
   note = {Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings},
   pages = {498--512},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Quantitative Relations and Approximate Process Equivalences},
   url = {http://www.springerlink.com/content/u4rkj4v8kpp5hyrr/},
   volume = 2761,
   year = 2003
}