ABSTRACT
This chapter introduces notations and formal methods for description of software engineering processes and their relationships. A paradigm of process algebra, Communicating Sequential Processes (CSP), is adopted for process system description, modeling, and analysis.
