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)- An integrated approach for the specification and analysis of stochastic real-time systems
- Separable solutions for Markov processes in random environments
- Compositional performance modelling with the TIPPtool
- Product form solution for an insensitive stochastic process algebra structure
- Quantitative semantics, topology, and possibility measures
- On reaction-diffusion equations derived from a PEPA model
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Formalisms for Specifying Markovian Population Models
- A congruence relation for sPBC
- Measure and probability for concurrency theorists
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
- Model checking for a class of weighted automata
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Fluid analysis for a PEPA model
- From Gene Regulation to Stochastic Fusion
- Product form solution for a class of PEPA models
- An algebra-based method to associate rewards with EMPA terms
- Revisiting interactive Markov chains
- Process algebra for performance evaluation
- Differential bisimulation for a Markovian process algebra
- scientific article; zbMATH DE number 1759599 (Why is no real title available?)
- A structural approach for modelling performance of systems using skeletons
- PEPA queues: capturing customer behaviour in queueing networks
- Stochastic modelling of communication protocols from source code
- Modelling parallel databases with process algebra
- An MM algorithm to estimate parameters in continuous-time Markov chains
- Causal reversibility implies time reversibility
- A Precedence PEPA Model for Performance and Reliability Analysis
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
- Towards bridging time and causal reversibility
- Towards general axiomatizations for bisimilarity and trace semantics
- Logical characterization of fluid equivalences
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- A Function-Equivalent Components Based Simplification Technique for PEPA Models
- Structural analysis for stochastic process algebra models
- Functional Performance Specification with Stochastic Probes
- Stochastic model checking of the stochastic quality calculus
- Applying reversibility theory for the performance evaluation of reversible computations
- Lumpability for uncertain continuous-time Markov chains
- Reasoning about proportional lumpability
- The how and why of interactive Markov chains
- scientific article; zbMATH DE number 749807 (Why is no real title available?)
- Applying mean-field approximation to continuous time Markov chains
- A notion of equivalence for stochastic Petri nets
- Lumpability abstractions of rule-based systems
- Performance investigation of an on‐line auction system
- On the semantics of Markov automata
- General patterns of interaction in stochastic fusion
- Construction and verification of performance and reliability models
- Quantitative analysis of communication scenarios
- scientific article; zbMATH DE number 1786478 (Why is no real title available?)
- A semantics for every GSPN
- Abstract interpretation of PEPA models
- scientific article; zbMATH DE number 7447774 (Why is no real title available?)
- Quantitative abstractions for collective adaptive systems
- The compositional construction of Markov processes. II
- Metrics for labelled Markov processes
- Stochastic bigraphs
- Assembly Code Analysis Using Stochastic Process Algebra
- A fluid analysis framework for a Markovian process algebra
- Experience of building an architecture-based generator using GenVoca for distributed systems
- Compositional abstraction for stochastic systems
- Algebraic approach for model decomposition: application to fault detection and isolation in discrete-event systems
- Performance modelling using probabilistic process algebra
- Lumping and reversed processes in cooperating automata
- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
- scientific article; zbMATH DE number 2087800 (Why is no real title available?)
- Approximating labelled Markov processes
- Performance analysis of concurrent systems in algebra dtsiPBC
- Semi-product-form solution for PEPA models with functional rates
- scientific article; zbMATH DE number 1890702 (Why is no real title available?)
- Exact performance equivalence: An equivalence relation for stochastic automata
- Equivalence checking 40 years after: a review of bisimulation tools
- scientific article; zbMATH DE number 2100582 (Why is no real title available?)
- scientific article; zbMATH DE number 2102729 (Why is no real title available?)
- Analysis of a multimedia stream using stochastic process algebra
- Application research of process algebras on performance evaluation
- A theory of processes with durational actions
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus
- Concurrency, σ-Algebras, and Probabilistic Fairness
- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
- A faster-than relation for semi-Markov decision processes
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
- Discrete time queueing networks with product form steady state. Availability and performance analysis in an integrated model
- A compositional modelling and analysis framework for stochastic hybrid systems
- Stochastic process algebras
- Formalisms for specifying Markovian population models
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- A definition scheme for quantitative bisimulation
- Formal techniques for performance analysis: blending SAN and PEPA
- Extended differential aggregations in process algebra for performance and biology
- GSOS for non-deterministic processes with quantitative aspects
- On the relations between Markov chain lumpability and reversibility
- Traffic Modelling and Probabilistic Process Abstraction
- Solving systems of bilinear equations for transition rate reconstruction
- Axiomatizing maximal progress and discrete time
- Categories of timed stochastic relations
- Quantitative Analysis of Concurrent Reversible Computations
- Turning back time in Markovian process algebra.
- scientific article; zbMATH DE number 1538068 (Why is no real title available?)
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)
