Structural Analysis for Stochastic Process Algebra Models

DOI10.1007/978-3-642-17796-5_1zbMath1308.68086OpenAlexW1852693356MaRDI QIDQ3067461

Jie Ding, Jane Hillston

Publication date: 21 January 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17796-5_1

Mathematics Subject Classification ID

Related Items (1)

Structural operational semantics for continuous state stochastic transition systems

Uses Software

• SPADES
• PEPA

Cites Work

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Turning back time in Markovian process algebra.
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Blocking and controllability of Petri nets in supervisory control
• Product form solution for a class of PEPA models
• Product form solution for an insensitive stochastic process algebra structure
• A Compositional Approach to Performance Modelling
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structural Analysis for Stochastic Process Algebra Models