Communicating Systems (CCS), Communicating Sequential Processes
(CSP), ϖ-calculus.
u Broad Spectrum—Suitable for use at all stages in the development of an
information system from conception through specification, design,