A Process Algebra Based Verification of a Production System.

J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers

Browse the full ICFEM paper archive.