Performance preserving equivalence for stochastic process algebra dtsdPBC
DOI10.33048/SEMI.2023.20.039zbMATH Open1544.68107MaRDI QIDQ6587404FDOQ6587404
Authors: I. V. Tarasyuk 
Publication date: 14 August 2024
Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
performanceMarkov chainquotientdiscrete timedenotational semanticsoperational semanticstransition systemdtsd-boxstochastic bisimulationPetri-box calculusstochastic and deterministic delays
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactive Markov chains. And the quest for quantified quality
- Bisimulation through probabilistic testing
- Three Partition Refinement Algorithms
- Exact and ordinary lumpability in finite Markov chains
- Algebra of communicating processes with abstraction
- The quest for minimal quotients for probabilistic automata
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Probability and Statistics with Reliability, Queuing and Computer Science Applications
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
- Optimal state-space lumping in Markov chains
- Petri net algebra
- Reactive, generative, and stratified models of probabilistic processes
- Stochastic process reduction for performance evaluation in dtsiPBC
- Iteration in discrete time stochastic Petri box calculus
- Performance analysis of concurrent systems in algebra dtsiPBC
- Introduction to generalized stochastic Petri nets
- Title not available (Why is that?)
- Discrete Time Stochastic Petri Nets
- Stochastic Petri box calculus with discrete time
- sPBC: a Markovian extension of Petri box calculus with immediate multiactions
- Title not available (Why is that?)
- A refined view of the box algebra
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Title not available (Why is that?)
- Probability, Markov chains, queues, and simulation. The mathematical basis of performance modeling.
- Title not available (Why is that?)
- Language-based performance prediction for distributed and mobile systems
- Non-bisimulation-based Markovian behavioral equivalences
- Efficient modelling and generation of Markov automata
- A process algebraic approach to software architecture design
- Rule-Based Modelling of Cellular Signalling
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Title not available (Why is that?)
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Probability theory. Edited by K. A. Borovkov. Transl. from the Russian by O. Borovkova and P. S. Ruzankin
- Theoretical Aspects of Computing - ICTAC 2004
- Title not available (Why is that?)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- Introduction to Probability Models
- Proportional lumpability
- Introduction to Queueing Systems with Telecommunication Applications
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- A notion of equivalence for stochastic Petri nets
- Modal logic characterization of Markovian testing and trace equivalences
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
- Probability-2
- Proportional lumpability and proportional bisimilarity
- Analysis of discrete‐time stochastic petri nets
- 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
- Title not available (Why is that?)
- Equivalence relations for modular performance evaluation in dtsPBC
- A survey of Markovian behavioral equivalences
- Iterative Decomposition and Aggregation of Labeled GSPNs
- Equivalences for stochastic Petri nets and stochastic process algebra
- Title not available (Why is that?)
This page was built for publication: Performance preserving equivalence for stochastic process algebra dtsdPBC
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587404)
