Deciding Bisimilarity and Similarity for Probabilistic Processes-Reference-Cited by-同舟云学术

Deciding Bisimilarity and Similarity for Probabilistic Processes

Author:

Baier Christel,Engelen Bettina,Majster-Cederbaum Mila

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science

Reference65 articles.

1. An algorithm for the organization of information;Adel'son-Velshii;Soviet. Math. Dokl.,1962

2. Axiomatizing probabilistic processes: ACP with generative probabilities;Baeten,1992

3. Algebraic decision diagrams and their applications;Bahar,1993

4. Polynomial time algorithms for testing probabilistic bisimulations and simulation;Baier,1996

5. On Algorithmic Verification Methods for Probabilistic Systems;Baier,1998

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

1. A Cancellation Law for Probabilistic Processes;Electronic Proceedings in Theoretical Computer Science;2023-09-14

2. Fast Coalgebraic Bisimilarity Minimization;Proceedings of the ACM on Programming Languages;2023-01-09

4. Efficient Estimation of Agent Networks;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022