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

DOI10.1007/S00165-004-0044-7zbMATH Open1084.68084OpenAlexW2020848022MaRDI QIDQ1882804FDOQ1882804

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

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

zbMATH Keywords

Functional programmingStochastic process algebras

Mathematics Subject Classification ID

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

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)