Weak bisimulation for fully probabilistic processes-Reference-Cited by-同舟云学术

Weak bisimulation for fully probabilistic processes

Published:1997 Issue: Volume: Page:119-130
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Baier Christel,Hermanns Holger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63166-6_14.pdf

Reference37 articles.

1. G. Adel'son-Velshii, Y. Landis: An Algorithm for the Organization of Information. Soviet. Math. Dokl. 3, pp 1259–1262, 1962.

2. A. Aziz, V. Singhal, F. Balarin, R. Brayton, A. Sangiovanni-Vincentelli: It usually works: The Temporal Logic of Stochastic Systems. Proc. CAV'95, LNCS 939, pp 155–165, 1995.

3. C. Baier: Polynomial Time Algorithms for Testing probabilistic Bisimulation and Simulation. Proc. CAV'96, LNCS 1102, pp 38–49, 1996.

4. C. Baier, H. Hermanns: Weak Bisimulation for Fully Probabilistic Processes. Techn. Bericht IMMD-VII/1-97, Universität Erlangen.

5. A. Bianco, L. de Alfaro: Model Checking of Probabilistic and Nondeterministic Systems. Proc. Foundations of Software Technology and Theoretical Computer Science, LNCS 1026, pp 499–513, 1995.

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

1. A three-valued model abstraction framework for PCTL* stochastic model checking;Automated Software Engineering;2022-03-02

2. Embeddings Between State and Action Based Probabilistic Logics;Formal Aspects of Component Software;2022

3. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference;Computer Aided Verification;2021

4. Multi-scale verification of distributed synchronisation;Formal Methods in System Design;2020-09-20

5. Uniform Random Process Model Revisited;Programming Languages and Systems;2019