First passage time analysis of stochastic process algebra using partial orders

DOI10.1007/3-540-45319-9_16MaRDI QIDQ2769589zbMATH OpenFDO

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

Publication date 5 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2031/20310220

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• General distributions in process algebra
• Process algebra for performance evaluation
• scientific article; zbMATH DE number 2079828
• scientific article; zbMATH DE number 836615
• scientific article; zbMATH DE number 836614

Cited in

(4)

• A theory of stochastic systems. II: Process algebra
• Calculating Probabilities of Real-Time Test Cases
• Critical paths in the partial order unfolding of a stochastic Petri net
• General distributions in process algebra

This page was built for publication: First passage time analysis of stochastic process algebra using partial orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2769589)