================================================================================
P9311   I. Polak
        "Specification of a bank account in PSF"


The behaviour of a bank account is specified in the Process Specification
Formalism PSF. The following aspects will be specified: transfers,
transactions, communications between accounts mutually and with a central
cash and interest accounting at regular periods. We follow a report, [SS93].

[SS93] Arjen Schoneveld en Arjen Stins. Specification of a bankaccount with
       process algebra. Technical report, Report P9307, Programming
       Research Group, University of Amsterdam, 1993.