Analysis of an industrial system
From MaRDI portal
Publication:1870212
DOI10.1023/A:1022901312673zbMath1021.68061OpenAlexW2166340014MaRDI QIDQ1870212
J. J. T. Kleijn, Michel Reniers, Jacobus E. Rooda
Publication date: 11 May 2003
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1022901312673
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Improving performance in flexible manufacturing systems ⋮ Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
This page was built for publication: Analysis of an industrial system