PSF - Process Specification Formalism

image of ABP

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.