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