Automated compositional Markov chain generation for a plain-old telephone system
- 1 January 2000
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 36 (1) , 97-127
- https://doi.org/10.1016/s0167-6423(99)00019-2
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)Published by Springer Nature ,1998
- OPEN/CÆSAR: An open software architecture for verification, simulation, and testingPublished by Springer Nature ,1998
- Protocol verification with the ALDÉBARAN toolsetInternational Journal on Software Tools for Technology Transfer, 1997
- Regrouping parallel processesFormal Methods in System Design, 1996
- Specifications in stochastic process algebra for a robot control problemInternational Journal of Production Research, 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
- Formal specification of telephone systems in LOTOS: the constraint-oriented style approachComputer Networks and ISDN Systems, 1991