Referenced Items are not available for this document.
PEPA[6] is a popular stochastic process algebra which allows a compositional approach to stochastic model description. The ipc compiler translates a given PEPA model into a format suitable for processing by the Hydra[5] Markovian response-time analyser. The ipc software has undergone some improvements which have led to its refactoring as a library for handling PEPA models.
Published in:
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Date of Conference: 17-19 Sept. 2007
- Page(s):
- 55 - 56
- Print ISBN:
- 978-0-7695-2883-0
- INSPEC Accession Number:
- 9875881
- Conference Location :
- Edinburgh
- Digital Object Identifier :
- 10.1109/QEST.2007.20
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
