This paper describes a new specification model called the dynamic coordinated concurrent activities (DCCA) model and shows its utility for the specification of coordination protocols needed in manufacturing control systems. The principal advantage of this model lies in the ease with which a distributed implementation of the specified controls may be automatically generated from the formal specification itself in this paper, the authors describe some specific DCCA features, such as dynamic processes, structured states and a versatile means of specifying predicates on such states- these features facilitate obtaining a largely generic and reusable specification of a real-world FMC. The authors emphasize the elegant methodology for obtaining the distributed implementation automatically.>