Turning back time in Markovian process algebra.

DOI10.1016/S0304-3975(02)00375-4zbMath1044.68117DBLPjournals/tcs/Harrison03WikidataQ56765169 ScholiaQ56765169MaRDI QIDQ1401206

Peter G. Harrison

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

product-form queueing networks

Mathematics Subject Classification ID

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

Related Items (22)

Towards Bridging Time and Causal Reversibility ⋮ Lumping and reversed processes in cooperating automata ⋮ Algorithmic product-form approximations of interacting stochastic models ⋮ Applying Reversibility Theory for the Performance Evaluation of Reversible Computations ⋮ On the relations between Markov chain lumpability and reversibility ⋮ Ergodicity bounds for the Markovian queue with time-varying transition intensities, batch arrivals and one queue skipping policy ⋮ Tackling continuous state-space explosion in a Markovian process algebra ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ Reverse bisimilarity vs. forward bisimilarity ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ PRODUCT-FORM IN G-NETWORKS ⋮ G-NETWORKS OF UNRELIABLE NODES ⋮ Exact fluid lumpability in Markovian process algebra ⋮ Reversed processes, product forms and a non-product form ⋮ Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Structural Analysis for Stochastic Process Algebra Models ⋮ PROCESSOR SHARING G-QUEUES WITH INERT CUSTOMERS AND CATASTROPHES: A MODEL FOR SERVER AGING AND REJUVENATION ⋮ Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets ⋮ Semi-Product-Form Solution for PEPA Models with Functional Rates ⋮ Separable equilibrium state probabilities via time reversal in Markovian process algebra ⋮ Separable solutions for Markov processes in random environments

Uses Software

• SPADES

Cites Work

• Unnamed Item
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Product-form queueing networks with negative and positive customers
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Product form solution for a class of PEPA models
• Product form solution for an insensitive stochastic process algebra structure
• SPADES - a process algebra for discrete event simulation
• The Output of a Queuing System
• A Compositional Approach to Performance Modelling

This page was built for publication: Turning back time in Markovian process algebra.