Discrete time stochastic and deterministic Petri box calculus dtsdPBC

DOI10.33048/semi.2020.17.112zbMath1448.68352OpenAlexW3116480571MaRDI QIDQ2212703

Igor V. Tarasyuk

Publication date: 24 November 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2020.17.112

zbMATH Keywords

operational semanticsdiscrete timedenotational semanticstransition systemPetri box calculusstochastic Petri netstochastic process algebrastochastic transitiondeterministic multiactionstochastic multiactiondeterministic transitiondtsd-boxstochastic bisimulation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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)

Related Items (1)

Performance evaluation in stochastic process algebra dtsdPBC

Uses Software

• TimeNET

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Performance analysis of concurrent systems in algebra dtsiPBC
• On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
• Algebra of communicating processes with abstraction
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Bisimulation through probabilistic testing
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• Deciding true concurrency equivalences on safe, finite nets
• Petri net algebra
• Language-based performance prediction for distributed and mobile systems
• Deciding bisimilarity and similarity for probabilistic processes.
• A congruence relation for sPBC
• Stochastic process reduction for performance evaluation in dtsiPBC
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Introduction to Generalized Stochastic Petri Nets
• A Survey of Markovian Behavioral Equivalences
• Discrete Time Stochastic Petri Nets
• Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Analysis of discrete‐time stochastic petri nets
• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
• A Compositional Approach to Performance Modelling
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Extending Timed Process Algebra with Discrete Stochastic Time
• Theoretical Aspects of Computing - ICTAC 2004
• Equivalence relations for modular performance evaluation in dtsPBC

This page was built for publication: Discrete time stochastic and deterministic Petri box calculus dtsdPBC