Title: Computer-Aided Verification of Coordinating Processes
Subjects: Manufacturing processes, data processing, Computational complexity, Expert systems (computer science), System design