Pages that link to "Item:Q1271643"
From MaRDI portal
The following pages link to A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643):
Displaying 13 items.
- A generic logical-temporal performance analysis method for complex systems (Q622209) (← links)
- Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings (Q932893) (← links)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Q1607114) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- (Q4665739) (← links)
- (Q4818747) (← links)
- (Q5688096) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- Extended Markovian Process Algebra (Q6104380) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)