Process algebra for performance evaluation

From MaRDI portal
Publication:5958464

DOI10.1016/S0304-3975(00)00305-4zbMath0992.68149OpenAlexW2160136100WikidataQ57802062 ScholiaQ57802062MaRDI QIDQ5958464

Joost-Pieter Katoen, Holger Hermanns, Ulrich Herzog

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00305-4




Related Items (26)

Stuttering for Abstract Probabilistic AutomataBehavioural equivalences of a probabilistic pi-calculusStructural operational semantics for stochastic and weighted transition systemsQuantitative Analysis of Concurrent Reversible ComputationsOn the use of MTBDDs for performability analysis and verification of stochastic systems.Model-checking large structured Markov chains.Mirrors and memory in quantum automataStuttering for abstract probabilistic automataCompositional Modeling and Minimization of Time-Inhomogeneous Markov ChainsParameter and Controller Synthesis for Markov Chains with Actions and State Labels.On the Relationships Between Lumpability and Filtering of Finite Stochastic SystemsA compositional modelling and analysis framework for stochastic hybrid systemsLumping-based equivalences in Markovian automata: algorithms and applications to product-form analysesDistributed Markovian Bisimulation Reduction aimed at CSL Model CheckingA congruence relation for sPBCPerformability assessment by model checking of Markov reward modelsConstraint Markov chainsBest-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlinesModel checking mobile stochastic logicThe How and Why of Interactive Markov ChainsOn fluidization of discrete event models: Observation and control of continuous Petri netsCompositional Abstraction for Stochastic SystemsA theory of stochastic systems. II: Process algebraStructural operational semantics for continuous state stochastic transition systemsBisimulation and Simulation Relations for Markov ChainsYMCA


Uses Software


Cites Work




This page was built for publication: Process algebra for performance evaluation