Quantitative Relations and Approximate Process Equivalences
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
CONCUR 2003, pages 498-512
Lecture Notes in Computer Science 2761, 2003
Springer
Roberto M. Amadio, Denis Lugiez (eds.)
Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
@incollection{processequivalence-concur2003,
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}
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}