A Compositional Approach to Performance Modelling
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(only showing first 100 items - show all)- On the computational power of BlenX
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- Exact performance equivalence: An equivalence relation for stochastic automata
- Quantitative semantics, topology, and possibility measures
- Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet
- Approximating labelled Markov processes
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
- Turning back time in Markovian process algebra.
- Modelling parallel databases with process algebra
- Measure and probability for concurrency theorists
- A brief history of process algebra
- Reconciling real and stochastic time: the need for probabilistic refinement
- Book review of: D. Draheim, Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics.
- Performance evaluation in stochastic process algebra dtsdPBC
- Proportional lumpability and proportional bisimilarity
- Solving systems of bilinear equations for transition rate reconstruction
- Computing branching distances with quantitative games
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC
- Towards general axiomatizations for bisimilarity and trace semantics
- A compositional modelling and analysis framework for stochastic hybrid systems
- Logical characterization of fluid equivalences
- Separable solutions for Markov processes in random environments
- Equivalences for fluid stochastic Petri nets
- On the relations between Markov chain lumpability and reversibility
- A congruence relation for sPBC
- Bisimulation relations for weighted automata
- Separable equilibrium state probabilities via time reversal in Markovian process algebra
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- General patterns of interaction in stochastic fusion
- Construction and verification of performance and reliability models
- Analysis of a multimedia stream using stochastic process algebra
- Performance modelling using probabilistic process algebra
- Abstract interpretation of PEPA models
- Categories of timed stochastic relations
- Quantitative abstractions for collective adaptive systems
- An integrated approach for the specification and analysis of stochastic real-time systems
- Revisiting interactive Markov chains
- Semi-product-form solution for PEPA models with functional rates
- PEPA queues: capturing customer behaviour in queueing networks
- Stochastic modelling of communication protocols from source code
- A structural approach for modelling performance of systems using skeletons
- Lumping and reversed processes in cooperating automata
- Applying mean-field approximation to continuous time Markov chains
- Quantitative analysis of communication scenarios
- Quantitative Analysis of Concurrent Reversible Computations
- Differential bisimulation for a Markovian process algebra
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus
- Performance analysis of concurrent systems in algebra dtsiPBC
- The compositional construction of Markov processes. II
- On the semantics of Markov automata
- Formalisms for specifying Markovian population models
- Algebraic approach for model decomposition: application to fault detection and isolation in discrete-event systems
- The how and why of interactive Markov chains
- Structural analysis for stochastic process algebra models
- Stochastic process algebras
- Diagnosability of delay-deadline failures in fair real time discrete event models
- Structural Operational Semantics for Weighted Transition Systems
- Persistent stochastic non-interference
- Application research of process algebras on performance evaluation
- Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion
- Assembly Code Analysis Using Stochastic Process Algebra
- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
- State-Aware Performance Analysis with eXtended Stochastic Probes
- From Gene Regulation to Stochastic Fusion
- Algorithmic product-form approximations of interacting stochastic models
- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
- A Precedence PEPA Model for Performance and Reliability Analysis
- A Function-Equivalent Components Based Simplification Technique for PEPA Models
- Functional Performance Specification with Stochastic Probes
- Concurrency, σ-Algebras, and Probabilistic Fairness
- Process Algebra Modelling Styles for Biomolecular Processes
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Formalisms for Specifying Markovian Population Models
- Compositional abstraction for stochastic systems
- Lumpability abstractions of rule-based systems
- Specifications in stochastic process algebra for a robot control problem
- Traffic Modelling and Probabilistic Process Abstraction
- scientific article; zbMATH DE number 1538068 (Why is no real title available?)
- scientific article; zbMATH DE number 1759599 (Why is no real title available?)
- scientific article; zbMATH DE number 1786478 (Why is no real title available?)
- Applying reversibility theory for the performance evaluation of reversible computations
- An algebra-based method to associate rewards with EMPA terms
- scientific article; zbMATH DE number 2087800 (Why is no real title available?)
- scientific article; zbMATH DE number 749807 (Why is no real title available?)
- Compositional performance modelling with the TIPPtool
- Product form solution for a class of PEPA models
- Product form solution for an insensitive stochastic process algebra structure
- Performance investigation of an on‐line auction system
- scientific article; zbMATH DE number 1890702 (Why is no real title available?)
- scientific article; zbMATH DE number 2100582 (Why is no real title available?)
- scientific article; zbMATH DE number 2102729 (Why is no real title available?)
- scientific article; zbMATH DE number 836617 (Why is no real title available?)
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
- Towards bridging time and causal reversibility
- A notion of equivalence for stochastic Petri nets
- Persistent stochastic non-interference
- Fluid analysis for a PEPA model
- Stochastic model checking of the stochastic quality calculus
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- A semantics for every GSPN
This page was built for publication: A Compositional Approach to Performance Modelling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5462953)
