Compositional Theories of Qualitative and Quantitative Behaviour

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    108 Downloads (Pure)


    The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.
    Original languageUndefined
    Title of host publication24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN)
    EditorsW. van der Aalst, E. Best
    Place of PublicationHeidelberg
    Number of pages6
    ISBN (Print)3-540-40334-5
    Publication statusPublished - Jan 2003
    Event24th International Conference on Applications and Theory of Petri Nets, ICATPN - Eindhoven, The Netherlands
    Duration: 23 Jun 200327 Jun 2003

    Publication series

    NameLecture Notes in Computer Science 2679
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference24th International Conference on Applications and Theory of Petri Nets, ICATPN
    OtherJune 23-27, 2003


    • IR-47325
    • EWI-815
    • METIS-217657

    Cite this