Specifications in stochastic process algebra for a robot control problem

DOI10.1080/00207549608904950zbMath0917.90166OpenAlexW2114912309MaRDI QIDQ4230124

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

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

stochastic process algebraunreliable systemsspecification of dynamic systems

Mathematics Subject Classification ID

Production models (90B30)

Related Items (1)

Process algebra for performance evaluation

Cites Work

• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
• Unnamed Item
• Unnamed Item

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