Performance evaluation in stochastic process algebra dtsdPBC
DOI10.33048/semi.2021.18.085zbMath1482.68156OpenAlexW3212459375MaRDI QIDQ2058309
Publication date: 8 December 2021
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.33048/semi.2021.18.085
operational semanticsreductionperformance evaluationMarkov chaindiscrete timetransition systemPetri box calculusstochastic process algebradeterministic multiactionstochastic multiaction
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Markov renewal processes, semi-Markov processes (60K15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Performance analysis of concurrent systems in algebra dtsiPBC
- Algebra of communicating processes with abstraction
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- 11th International conference on analysis and optimization of systems: discrete event systems. Sophia-Antipolis, France, June 15-17, 1994
- Petri net algebra
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC
- A congruence relation for sPBC
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Probability and Statistics with Reliability, Queuing and Computer Science Applications
- Introduction to Generalized Stochastic Petri Nets
- Discrete Time Stochastic Petri Nets
- Compositionality for Markov Reward Chains with Fast Transitions
- Hierarchical aggregation of singularly perturbed finite state markov processes
- On the solution of GSPN reward models
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Analysis of discrete‐time stochastic petri nets
- Introduction to Queueing Systems with Telecommunication Applications
- A Compositional Approach to Performance Modelling
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Theoretical Aspects of Computing - ICTAC 2004
- Equivalence relations for modular performance evaluation in dtsPBC
This page was built for publication: Performance evaluation in stochastic process algebra dtsdPBC