Structural analysis for stochastic process algebra models

DOI10.1007/978-3-642-17796-5_1MaRDI QIDQ3067461zbMATH OpenOpenAlexFDO

Authors 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

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• scientific article; zbMATH DE number 2079828
• scientific article; zbMATH DE number 836614
• scientific article; zbMATH DE number 1538068
• scientific article; zbMATH DE number 1285311
• Stochastic process algebras

Cites work

• scientific article; zbMATH DE number 4031001 (Why is no real title available?)
• scientific article; zbMATH DE number 1285311 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• 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
• Turning back time in Markovian process algebra.

Cited in

(4)

• A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
• Rate lifting for stochastic process algebra -- exploiting structural properties
• Structural operational semantics for continuous state stochastic transition systems
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Describes a project that uses

Uses Software

• SPADES
• PEPA

This page was built for publication: Structural analysis for stochastic process algebra models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067461)