Dependability modelling with the stochastic process algebra tool CASPA
Abstract
References
Recommendations
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
SOFSEM '09: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer ScienceCASPA is a stochastic process algebra tool for performance and dependability modelling, analysis and verification. It is based entirely on the symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle models ...
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA
DYADEM-FTS '10: Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant SystemsCASPA is a stochastic process algebra tool for performance and dependability modelling, analysis and verification. It is based entirely on the symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle models ...
Stochastic process algebras as a tool for performance and dependability modelling
IPDS '95: Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability SymposiumAbstract: The stochastic process-algebra modelling paradigm has been introduced recently as an extension of classical process algebras with timing information aiming mainly at the integration of functional design with quantitative analysis of computer ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- Universidad Politécnica de Valencia, Spain
- Parametric Technology Corporation (PTC)
- Ministerio de Ciencia e Innovación, Spain
- Generalitat Valenciana, Spain
In-Cooperation
- IEEE Computer Society TC on Dependable Computing and Fault Tolerance
- IFIP Working Group 10.4 Dependable Computing and Fault Tolerance
- EWICS TC7 on Safety, Reliability and Security
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 70Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in