Author:
Baier Christel,Stoelinga Mariëlle
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. P. d’Argenio, H. Hermanns, J. Katoen: On Generative Parallel Composition, Proc. PROBMIV’98, ENTCS, Vol. 21, 1999.
2. J. Baeten, J. Bergstra, S. Smolka: Axiomatizing Probabilistic Processes: ACP with Generative Probabilities, Inf. and Comp., Vol. 122, pp 234–255, 1995.
3. C. Baier, B. Engelen, M. Majster-Cederbaum: Deciding Bisimilarity and Similarity for Probabilistic Systems, to appear in Journ. of Computer and System Sc., 2000.
4. Lect Notes Comput Sci;C. Baier,1997
5. C. Baier, M. Kwiatkowska: Domain Equations for Probabilistic Processes, to appear in Mathematical Structures in Computer Science, 2000.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献