Stochastic process algebras – between LOTOS and Markov chains
- 1 May 1998
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 30 (9-10) , 901-924
- https://doi.org/10.1016/s0169-7552(97)00133-5
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Partial order models for quantitative extensions of LOTOSPublished by Elsevier ,1998
- Applications of Fair TestingPublished by Springer Nature ,1996
- Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOSPublished by Springer Nature ,1996
- Extended Markovian Process AlgebraPublished by Springer Nature ,1996
- A Stochastic Causality-Based Process AlgebraThe Computer Journal, 1995
- The PEPA workbench: A tool to support a process algebra-based approach to performance modellingPublished by Springer Nature ,1994
- Performance Evaluation of Parallel Programs — Modeling and Monitoring with the Tool PEPPPublished by Springer Nature ,1993
- Performance Analysis of Multiprocessor SystemsPublished by Springer Nature ,1985
- A use of complex probabilities in the theory of stochastic processesMathematical Proceedings of the Cambridge Philosophical Society, 1955