First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders-Reference-Cited by-同舟云学术

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders

Published:2001 Issue: Volume: Page:220-235
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Ruys Theo C.,Langerak Rom,Katoen Joost-Pieter,Latella Diego,Massink Mieke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45319-9_16

Reference34 articles.

1. M. Bernardo and R. Gorrieri. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science, 202:1–54, 1998.

2. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.

3. M. Bravetti and R. Gorrieri. Interactive Generalized Semi-Markov Processes. In J. Hillston and M. Silva, editors, Proc.of PAPM’99, pages 83–98, Zaragoza, Spain, September 1999.

4. E. Brinksma, J.-P. Katoen, R. Langerak, and D. Latella. A Stochastic Causality-Based Process Algebra. The Computer Journal, 38(7):552–565, 1995.

5. P. R. D’Argenio. Algebras and Automata for Timed and Stochastic Systems. PhD thesis, University of Twente, Enschede, The Netherlands, November 1999.

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

1. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net;Lecture Notes in Computer Science;2009

2. Calculating Probabilities of Real-Time Test Cases;Formal Approaches to Software Testing;2006

3. Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions;Lecture Notes in Computer Science;2004

4. General Distributions in Process Algebra;Lecture Notes in Computer Science;2001

5. Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes;Process Algebra and Probabilistic Methods. Performance Modelling and Verification;2001