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
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
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)