Professional Documents
Culture Documents
A1 x+y =y+x
A2 (x + y) + z = x + (y + z)
A3 x+x=x
A4 (x + y) · z = x · z + y · z
A5 (x · y) · z = x · (y · z)
A6 x+δ =x
A7 δx = δ
D1 ∂H (a) = a if a ∈
/H
D2 ∂H (a) = δ if a ∈ H
D3 ∂H (x + y) = ∂H (x) + ∂H (y)
D4 ∂H (x · y) = ∂H (x) · ∂H (y)
Bibliography
[1] J.C. Baeten and W.P. Weijland. Process algebra, Cambridge University Press, 1990.
[2] J.A. Bergstra, J.W. Klop. Process algebra for synchronous communication. Inf. and
Control, pages 109-137, 1984.
[5] R. Milner. Communicating and Mobile Systems: the π calculus, Cambridge University
Press, 1999.