scientific article; zbMATH DE number 6708299

MaRDI QIDQ2979815zbMATH OpenFDO

Authors I. V. Tarasyuk

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/tarasyuk_0.pdf

zbMATH Keywords

discrete timeiterationperformance evaluationPetri box calculusstationary behaviourstochastic equivalencestochastic process algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Equivalence relations for modular performance evaluation in dtsPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Modeling and analysis of the performance of parallel processes in the algebra dtsPBC
• Performance evaluation of the generalized shared memory system in dtsPBC
• Performance analysis of concurrent systems in algebra dtsiPBC
• Performance evaluation in stochastic process algebra dtsdPBC
• Decidability of performance equivalence for basic parallel processes
• scientific article; zbMATH DE number 1512608
• Stochastic process reduction for performance evaluation in dtsiPBC
• The equivalence problem for real-time DPDAs

Cited in

(7)

• Performance evaluation in stochastic process algebra dtsdPBC
• A congruence relation for sPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Iteration in discrete time stochastic Petri box calculus
• Stochastic Petri box calculus with discrete time
• Equivalence relations for modular performance evaluation in dtsPBC
• Performance preserving equivalence for stochastic process algebra dtsdPBC

This page was built for publication:

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