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

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

zbMATH Keywords

concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Equivalence relations for modular performance evaluation in dtsPBC ⋮ On the semantics of durational actions ⋮ Language-based performance prediction for distributed and mobile systems ⋮ Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Uses Software

• TK

Cites Work

• Symbolic bisimulations
• A distributed operational semantics of CCS based on condition/event systems
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Bisimulation through probabilistic testing
• Specification styles in distributed systems design and verification
• Processes with probabilities, priority and time
• Nets, Terms and Formulas
• An algebra-based method to associate rewards with EMPA terms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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