Testing Equivalences and Fully Abstract Models for Probabilistic Processes

@incollection{christoff-concur1990,
   apice = {ChristoffCONCUR1990},
   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 = {Lecture Notes in Computer Science},
   title = {Testing Equivalences and Fully Abstract Models for Probabilistic Processes},
   url = {https://link.springer.com/10.1007/BFb0039056},
   volume = 458,
   year = 1990
}