ABP = hide(I, encaps(H, Sender || Receiver || K || L))
PSF is a formalism for the the specification of all kinds of processes based on Process Algebra (ACP) and Algebraic Specification of data (ASF). A Process Algebra is a formal description technique for complex computer systems, especially those with communicating, concurrently executing components.
PSF is used in both research and education. The fields include concurrency theory, protocol validation, and software engineering (see SE-PA).