Testing Probabilistic and Nondeterministic Processes-Reference-Cited by-同舟云学术

Testing Probabilistic and Nondeterministic Processes

Published:1992 Issue: Volume: Page:47-61
ISSN:
Container-title:Protocol Specification, Testing and Verification, XII
language:
Short-container-title:

Author:

Yi Wang,Larsen Kim G.

Publisher

Elsevier

Reference16 articles.

1. Assad El-Nahhas, Alternative Characterizations for Testing Preorders in CCS with Probability, M.Sc. Thesis, Department of Mathematics and Computer Science, Aalborg University, 9220 Aalborg, Denmark, 1992.

2. Anders Borjesson and Helle Damborg, Testing Applied to Probabilistic Processes, M.Sc. Thesis, Department of Mathematics and Computer Science, Aalborg University, 9220 Aalborg, Denmark, 1992.

3. I. Christoff, Testing Equivalence for Probabilistic Processes, Ph.D. Thesis, Uppsala University, Uppsala, Sweden, 1990.

4. R. van Glabbeek, S. A. Smolka, B. Steffen and C. Tofts, Reactive, Generative and Stratified Models of Probabilistic Processes, in the Proc. of LICS1990, 1990.

5. H. Hansson and Bengt Jonsson, A Calculus for Communicating Systems with Time and Probability, in the Proc. of the 11'th IEEE Real Time Systems Symposium, 1990.

Cited by 48 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism;Quantitative Evaluation of Systems;2020

2. Coherent Resolutions of Nondeterminism;Computer Performance Engineering;2020

3. Security Testing for Multi-Agent Systems;Advances in Computational Intelligence;2019

4. Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

5. Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes;Acta Informatica;2014-11-30