Formal specification and analysis of production systems

DOI10.1080/00207540210159563zbMath1032.90505OpenAlexW2154728072MaRDI QIDQ4415996

J. J. T. Kleijn, Victor Bos

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)

Related Items (6)

Axiomatizing GSOS with termination ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Hybrid process algebra ⋮ Formal specification and analysis of production systems ⋮ Improving performance in flexible manufacturing systems ⋮ Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

Cites Work

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

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