Concurrency models and verification have been brought to bear on numerous problems in the fields of hardware, communication protocols, and process control systems. The interested reader should refer to the formal methods report for a discussion of some of these.