Equivalence relations for modular performance evaluation in dtsPBC

DOI10.1017/S0960129513000029MaRDI QIDQ5740349zbMATH OpenFDO

Authors I. V. Tarasyuk

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129513000029

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 6708299
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Performance evaluation in stochastic process algebra dtsdPBC
• Modeling and analysis of the performance of parallel processes in the algebra dtsPBC
• Performance evaluation of the generalized shared memory system in dtsPBC
• Formal Modeling and Analysis of Timed Systems
• Performance analysis of concurrent systems in algebra dtsiPBC
• Stochastic process reduction for performance evaluation in dtsiPBC
• Comparing different modularization criteria using relational metric
• Decidability of performance equivalence for basic parallel processes

Cites work

• A calculus of mobile processes. I
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• A survey of Markovian behavioral equivalences
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Algebra of communicating processes with abstraction
• Analysis of discrete‐time stochastic petri nets
• Bisimulation through probabilistic testing
• Discrete Time Stochastic Petri Nets
• Extending Timed Process Algebra with Discrete Stochastic Time
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Optimal state-space lumping in Markov chains
• Reactive, generative, and stratified models of probabilistic processes
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Three Partition Refinement Algorithms

Cited in

(7)

• Exact performance equivalence: An equivalence relation for stochastic automata
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• A congruence relation for sPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• scientific article; zbMATH DE number 6708299 (Why is no real title available?)
• Performance preserving equivalence for stochastic process algebra dtsdPBC

This page was built for publication: Equivalence relations for modular performance evaluation in dtsPBC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740349)