A construction and analysis tool based on the stochastic process algebra TIPP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1055, Issue , 1996, Pages 427-430

  Hermanns, Holger ^a   Mertsiotakis, Vassilis ^a   Rettelbach, Michael ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; RANDOM PROCESSES;

DISTRIBUTED RANDOM VARIABLES; FUNCTIONAL DESIGN; MODEL SPECIFICATIONS; NUMERICAL ALGORITHMS; PERFORMANCE ANALYSIS; PERFORMANCE MEASURE; REACHABILITY ANALYSIS; STOCHASTIC PROCESS ALGEBRAS;

STOCHASTIC SYSTEMS;

EID: 84958747842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61042-1_65     Document Type: Conference Paper

References (7)

1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In The Formal Description Technique LOTOS. North-Holland, 1989.
2. N. Götz, It. Hermanns, U. Herzog, V. Mertsiotakis, and M. Rettelbach. Constructive Specification Techniques - Integrating Functional, Performance and Dependability Aspects. In Quantitative Methods in Parallel Systems. Springer, 1995.
3. H. Hermanns and V. Mertsiotakis. A Stochastic Process Algebra Based Modelling Tool. In Proc. of the 11th U.K. Perf. Eng. Workshop for Computer and Telecommunication Systems. Springer, 1995.
4. H. Hermanns and M. Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In Proc. of the 2nd Workshop on Process Algebras and Performance Modelling. IMMD, Universität Erlangen, 1994.
5. H. Hermanns, M. Rettelbach, and T. Weitß. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. The Computer Journal, 38(7), December 1995. Special issue: Proc. of the 3rd Workshop on Process Algebras and Performance Modelling.
6. S.K. Kundert and A. Sangiovanni-Vincentelli. A Sparse Linear Equation Solver. Technical report, University of California, Berkeley, 1988.
7. M. Rettelbach. Probabilistic Branching in Markovian Process Algebras. The Computer Journal, 38(7), December 1995. Special issue.