A function-equivalent components based simplification technique for PEPA models

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

Volumn 4054 LNCS, Issue , 2006, Pages 16-30

  Hillston, Jane ^a   Kloul, Leila ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF VERSAILLES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTER SIMULATION; FUNCTION EVALUATION; HEURISTIC METHODS; MATHEMATICAL MODELS;

COMPLEMENTARY FASHION; FUNCTION EQUIVALENT COMPONENTS; SIMPLIFICATION TECHNIQUES; SYSTEMATIC SIMPLIFICATION;

COMPUTATIONAL METHODS;

EID: 33746353414     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11777830_2     Document Type: Conference Paper

References (9)

1. J. Hillston and L. Kloul, An Efficient Kronecker Representation for PEPA Models, LNCS, N.2165, pp.120-135, Proc. of the Joint International Workshop, PAPMPROBMIV 2001, Aachen
2. J. Hillston and L. Kloul, Formal Techniques for Performance Analysis: blending SAN and PEPA, Submitted
3. J. Hillston, A compositional approach to performance modelling, PhD. The University of Edinburgh, 1994
4. J. Hillston The Nature of Synchronisation Proc. of 2nd Process Algebra and Performance Modelling Workshop, U. Herzog and M. Rettelbach (Editors), 1994
5. P. Fernandes, B. Plateau and W.J. Stewart Optimizing Tensor Product Computations in Stochastic Automata Networks, RAIRO - Operations Research, vol. 32, no. 3, pp:325-351, July, 1998
6. J.F. Groote and A. Ponse, Proof Theory for μCRL: A Languages for Processes with Data, Semantics of Specification Languages 1993, pp.232-251
7. J.F. Groote and A. Ponse, The Syntax and Semantics of μCRL, In A.Ponse,C. Verhoef & S.F.M. van Vlijmen, eds, Algebra of Communicating Processes, Workshops in Computing, pp.26-62,1994
8. S. Gilmore and J. Hillston, The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling, Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS, Vol.794, pp:353-368, Vienna 1994
9. K.S. Trivedi and M. Malhotra, Reliability and Performability Techniques and Tools: A Survey, In B. Walke and O. Spaniol, editors, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, pages 27-48, Springer, Aachen, September 1993