Structural analysis for stochastic process algebra models

DOI10.1007/978-3-642-17796-5_1zbMATH Open1308.68086OpenAlexW1852693356MaRDI QIDQ3067461FDOQ3067461

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)