A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems

From MaRDI portal
Publication:1271643

DOI10.1006/inco.1998.2706zbMath0909.68074OpenAlexW2034486676MaRDI QIDQ1271643

Lorenzo Donatiello, Roberto Gorrieri, Marco Bernardo

Publication date: 30 March 1999

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1998.2706




Related Items (6)


Uses Software


Cites Work


This page was built for publication: A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems