================================================================================
P9307   A. Stins & A. Schoneveld
        "Specification of a bank account with process algebra"


The aim of this report is to specify a private bank account. This report
covers the description of some significant processes and actions between
the client and the bank. Before starting off, we want to take a look at the
function of a bank account from the viewpoint of a bank. We will use the
theory ACP [BW90] to specify the bank account without taking time into
consideration ACPdt [BB92] will be the theory we will use to specify the
bank account with time.


[BW90]	J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in
	Theor. Comp. Sci. 18, Cambridge University Press, 1990.

[BB92]	J.C.M. Baeten & J.A. Bergstra, Discrete Time Process Algebra, Proc.
	CONCUR'92, Stony Brook (W.R. Cleaveland, ed.), LNCS 630, Springer
	1992, pp. 401-420.