Process Algebra Specification of Flexible Manufacturing Systems | Publicación