Formal specification and analysis of production systems

DOI10.1080/00207540210159563MaRDI QIDQ4415996zbMATH OpenOpenAlexFDO

Authors Victor Bos, J. J. T. Kleijn

Publication date 7 August 2003

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

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

Mathematics Subject Classification ID

Production models (90B30)

Cites work

• Calculi for synchrony and asynchrony
• Formal specification and analysis of production systems
• Processes and the denotational semantics of concurrency
• Proving the Correctness of Multiprocess Programs

Cited in

(6)

• Improving performance in flexible manufacturing systems
• Hybrid process algebra
• Axiomatizing GSOS with termination
• Syntax and consistent equation semantics of hybrid Chi
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• Formal specification and analysis of production systems

This page was built for publication: Formal specification and analysis of production systems

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