Pages that link to "Item:Q5462953"
From MaRDI portal
The following pages link to A Compositional Approach to Performance Modelling (Q5462953):
Displaying 50 items.
- General patterns of interaction in stochastic fusion (Q272780) (← links)
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- Algorithmic product-form approximations of interacting stochastic models (Q356426) (← links)
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- The compositional construction of Markov processes (Q633811) (← links)
- On reaction-diffusion equations derived from a PEPA model (Q654250) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Discrete time queueing networks with product form steady state. Availability and performance analysis in an integrated model (Q708813) (← links)
- Reasoning about proportional lumpability (Q832089) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (Q941454) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Experience of building an architecture-based generator using GenVoca for distributed systems (Q983190) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Turning back time in Markovian process algebra. (Q1401206) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics. (Q2050098) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Proportional lumpability and proportional bisimilarity (Q2139185) (← links)
- Solving systems of bilinear equations for transition rate reconstruction (Q2145274) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Separable solutions for Markov processes in random environments (Q2355869) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- On the relations between Markov chain lumpability and reversibility (Q2406431) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Separable equilibrium state probabilities via time reversal in Markovian process algebra (Q2576953) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- (Q2842863) (← links)
- (Q2842864) (← links)
- Semi-Product-Form Solution for PEPA Models with Functional Rates (Q2843075) (← links)
- PEPA Queues: Capturing Customer Behaviour in Queueing Networks (Q2870281) (← links)
- Applying Mean-Field Approximation to Continuous Time Markov Chains (Q2937739) (← links)
- Quantitative Analysis of Communication Scenarios (Q2945583) (← links)
