Equivalence Relations for Stochastic Automata Networks-Reference-Cited by-同舟云学术

Equivalence Relations for Stochastic Automata Networks

Published:1995 Issue: Volume: Page:197-215
ISSN:
Container-title:Computations with Markov Chains
language:
Short-container-title:

Author:

Buchholz Peter

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-2241-6_13.pdf

Reference14 articles.

1. P. Buchholz; The Aggregation of Markovian Submodels in Isolation; Univ. Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 369, 1990.

2. P. Buchholz; Hierarchical Markovian Models, Symmetries and Aggregation; In: J. Hillston, R. Pooley (eds.), Comp. Perf. Eval. 92, Edinburgh University Press (1993) 305–320.

3. P. Buchholz; Exact and Ordinary Lumpability in Finite Markov Chains; Journ. of Appl. Prob. 31 (1994) 59–75.

4. P. Buchholz; A Notion of Equivalence for Stochastic Petri Nets; submitted for publication.

5. M. Davio; Kronecker Products and Shuffle Algebra; IEEE Trans. on Comp. 30 (1981) 116–125.

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

1. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

2. A Stochastic Automata Network Description for Spatial DNA-Methylation Models;Lecture Notes in Computer Science;2020

3. Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence;Asian Journal of Control;2015-11-27

4. Queueing Systems and the Web;International Series in Operations Research & Management Science;2013

5. Rational Processes Related to Communicating Markov Processes;Journal of Applied Probability;2012-03