Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking-Reference-Cited by-同舟云学术

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Author:

Blom Stefan,Haverkort Boudewijn R.,Kuntz Matthias,van de Pol Jaco

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference25 articles.

2. Verifying continuous time markov chains;Aziz,1996

4. A distributed algorithm for strong bisimulation reduction of state spaces;Blom;International Journal on Software Tools for Technology Transfer (STTT),2005

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

1. Distributed Coalgebraic Partition Refinement;Tools and Algorithms for the Construction and Analysis of Systems;2022

2. Logical characterization of fluid equivalences;Sibirskie Elektronnye Matematicheskie Izvestiya;2019-06-11

3. Multi-core symbolic bisimulation minimisation;International Journal on Software Tools for Technology Transfer;2017-08-02

4. Multi-core Symbolic Bisimulation Minimisation;Tools and Algorithms for the Construction and Analysis of Systems;2016

5. Model Checking Stochastic Automata for Dependability and Performance Measures;2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks;2014-06