Author:
Bohnenkamp Henrik C.,Haverkort Boudewijn R.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Henrik Bohnenkamp and Boudewijn Haverkort. Semi-numerical solution of stochastic process algebra models. In Priami [16], pages 71–84.
2. Henrik Bohnenkamp and Boudewijn Haverkort. Stochastic event structures for the decomposition of stochastic process algebra models. Submitted for presentation at the PAPM’ 99 workshop, Feb 1999.
3. Stephen D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560–599, July 1984.
4. Erhan Çinlar. Introduction to Stochastic Processes. Prentice Hall, Inc., Englewood Cliffs, New Jersey, 1975.
5. Technical Report;R. Fricks,1996
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Structural Analysis for Stochastic Process Algebra Models;Algebraic Methodology and Software Technology;2011
2. The Mean Value of the Maximum;Lecture Notes in Computer Science;2002
3. Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains;Lecture Notes in Computer Science;2001
4. Exploiting Structure in Solution: Decomposing Compositional Models;Lecture Notes in Computer Science;2001
5. Advances in Model Representations;Process Algebra and Probabilistic Methods. Performance Modelling and Verification;2001