Logical characterization of fluid equivalences
DOI10.33048/semi.2019.16.055zbMath1420.68148OpenAlexW3016216194MaRDI QIDQ2323132
Igor V. Tarasyuk, Peter Buchholz
Publication date: 30 August 2019
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.33048/semi.2019.16.055
continuous-time Markov chainstochastic fluid modelbisimulation equivalencecontinuous-time stochastic Petri netfluid modal logicfluid tracelabeled fluid stochastic Petri netlogical and operational characterizationstransient and stationary behaviour
Modal logic (including the logic of norms) (03B45) Markov renewal processes, semi-Markov processes (60K15) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous-time Markov processes on discrete state spaces (60J27) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
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
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Second-order fluid models with general boundary behaviour
- Bisimulation through probabilistic testing
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
- Trace relations and logical preservation for Markov automata
- Use of flow equivalent servers in the transient analysis of product form queuing networks
- Trace relations and logical preservation for continuous-time Markov decision processes
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
- Matrix-analytic solution of infinite, finite and level-dependent second-order fluid models
- A unified framework for differential aggregations in Markovian process algebra
- Non-bisimulation-based Markovian behavioral equivalences
- Comparative branching-time semantics for Markov chains
- Equivalences for fluid stochastic Petri nets
- Exact fluid lumpability in Markovian process algebra
- Model checking for performability
- Exact Fluid Lumpability for Markovian Process Algebra
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
- When Are Prime Formulae Characteristic?
- Differential Bisimulation for a Markovian Process Algebra
- Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- Introduction to Generalized Stochastic Petri Nets
- A Survey of Markovian Behavioral Equivalences
- Fluid Models in Performance Analysis
- Discrete Time Stochastic Petri Nets
- Algebraic laws for nondeterminism and concurrency
- On the solution of GSPN reward models
- A notion of equivalence for stochastic Petri nets
- Syntactic Markovian Bisimulation for Chemical Reaction Networks
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity
- Forward and Backward Bisimulations for Chemical Reaction Networks
- Theoretical Aspects of Computing – ICTAC 2005
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- A Compositional Approach to Performance Modelling
- Model-checking continuous-time Markov chains
- Symbolic computation of differential equivalences
- CONCUR 2003 - Concurrency Theory
- Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
- A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
