Specifications in stochastic process algebra for a robot control problem

DOI10.1080/00207549608904950MaRDI QIDQ4230124zbMATH OpenOpenAlexFDO

Authors Stephen Gilmore, Jane Hillston, Richard Holton, M. Rettelbach

Publication date 22 April 1999

Published in International Journal of Production Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207549608904950

zbMATH Keywords

specification of dynamic systemsstochastic process algebraunreliable systems

Mathematics Subject Classification ID

Production models (90B30)

Recommendations

• scientific article; zbMATH DE number 836614
• scientific article; zbMATH DE number 2079828
• Process algebra for performance evaluation
• A Compositional Approach to Performance Modelling

Cites work

• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)

Cited in

(2)

• Functional Performance Specification with Stochastic Probes
• Process algebra for performance evaluation

This page was built for publication: Specifications in stochastic process algebra for a robot control problem

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