Abstract: This paper describes the use of equational specifications and process algebras in developing product and process models. These formal approaches enable an abstract and precise description of products, where both syntactic ...