An integrated framework for the performance analysis of asynchronous communicating stochastic processes

DOI10.1007/S00165-004-0044-7MaRDI QIDQ1882804zbMATH OpenOpenAlexFDO

Authors Natalia López, Fernando Rubio, Manuel Núñez

Publication date 1 October 2004

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-004-0044-7

zbMATH Keywords

Functional programmingStochastic process algebras

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2086944
• scientific article; zbMATH DE number 836614
• Functional Performance Specification with Stochastic Probes
• Process algebra for performance evaluation
• Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra

Describes a project that uses

Uses Software

• SPADES
• CADP

This page was built for publication: An integrated framework for the performance analysis of asynchronous communicating stochastic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1882804)