SPADES

swMATH2205MaRDI QIDQ14749FDOQ14749

Author name not available (Why is that?)

Described by source

• SPADES - a process algebra for discrete event simulation

Cited In (27)

• PROCESSOR SHARING G-QUEUES WITH INERT CUSTOMERS AND CATASTROPHES: A MODEL FOR SERVER AGING AND REJUVENATION
• An integrated framework for the performance analysis of asynchronous communicating stochastic processes
• Title not available (Why is that?)
• Tackling Large State Spaces in Performance Modelling
• A fluid analysis framework for a Markovian process algebra
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• Lumping and reversed processes in cooperating automata
• Reversed processes, product forms and a non-product form
• Structural Analysis for Stochastic Process Algebra Models
• Validation of Stochastic Systems
• Formal Testing of Systems Presenting Soft and Hard Deadlines
• 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
• Exact fluid lumpability in Markovian process algebra
• Turning back time in Markovian process algebra.
• Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
• Towards Bridging Time and Causal Reversibility
• Separable equilibrium state probabilities via time reversal in Markovian process algebra
• AutoCAT: Automated Product-Form Solution of Stochastic Models
• Algorithmic product-form approximations of interacting stochastic models
• Separable solutions for Markov processes in random environments
• On product-form approximations of cooperating stochastic models
• Theoretical Aspects of Computing – ICTAC 2005
• Lumping and Reversed Processes in Cooperating Automata
• Tackling continuous state-space explosion in a Markovian process algebra
• G-NETWORKS OF UNRELIABLE NODES
• PRODUCT-FORM IN G-NETWORKS

This page was built for software: SPADES