Fixed-Delay Events in Generalized Semi-Markov Processes Revisited

DOI10.1007/978-3-642-23217-6_10zbMath1343.68161arXiv1106.1424OpenAlexW2169764001MaRDI QIDQ3090827

Vojtěch Řehák, Jan Krčál, Jan Křetínský, Tomáš Brázdil

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1106.1424

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

When are stochastic transition systems tameable? ⋮ Compositional Design of Stochastic Timed Automata ⋮ Fixed-Delay Events in Generalized Semi-Markov Processes Revisited

Uses Software

• SMART_

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• General state space Markov chains and MCMC algorithms
• A theory of timed automata
• A theory of stochastic systems. I: Stochastic automata
• Measuring performance of continuous-time stochastic processes using timed automata
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• Fixed-Delay Events in Generalized Semi-Markov Processes Revisited
• Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions
• Symbolic Analysis for GSMP Models with One Stateful Clock
• Markov Chains and Stochastic Stability
• On simulation output analysis for generalized semi-markov processes
• Hybrid Systems: Computation and Control
• Recurrence and regeneration in non-markovian networks of queues

This page was built for publication: Fixed-Delay Events in Generalized Semi-Markov Processes Revisited