Testing Equivalences and Fully Abstract Models for Probabilistic Processes

   page       BibTeX_logo.png   
@incollection{christoff-concur1990,
Author = {Christoff, Ivan},
Booktitle = {CONCUR '90 Theories of Concurrency: Unification and Extension},
Doi = {10.1007/BFb0039056},
Editor = {Baeten, J.C.M. and Klop, J.W.},
Isbn = {978-3-540-53048-0},
Pages = {126--138},
Publisher = {Springer Berlin Heidelberg},
Series = {LNCS,
Title = {Testing Equivalences and Fully Abstract Models for Probabilistic Processes},
Url = {http://link.springer.com/chapter/10.1007/BFb0039056},
Volume = 458,
Year = 1990}