Universiteit van Amsterdam  /  Faculty of Science  /  Programming Research Group  / 
PSF - Process Specification Formalism
Home Introduction Toolkit Specifications Documentation Publications People Projects

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.

\ Programming Research Projects Last modified: Friday, 23-Jan-09 10:25:36 CET
maintained by: Bob Diertens