A process algebra based verification of a production system (1998)

by J J T Kleijn, M A Reniers, J E Rooda
Venue:Proceedings of the 2nd IEEE international