PlumX Metrics
Embed PlumX Metrics

Stochastic process algebra: From an algebraic formalism to an architectural description language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 1611-3349, Vol: 2459, Page: 236-260
2002
  • 34
    Citations
  • 0
    Usage
  • 6
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

  • Citations
    34
    • Citation Indexes
      34
  • Captures
    6

Conference Paper Description

The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description language for the functional verification and performance evaluation of complex computer, communication and software systems.

Bibliographic Details

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know