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

DOI10.1007/S00165-004-0044-7zbMath1084.68084OpenAlexW2020848022MaRDI QIDQ1882804

Fernando Rubio, Natalia López, Manuel A. Nunez

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)

Uses Software

• CADP
• Unnamed Item

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