Process algebra - Baeten J C M; Weijland W P (Cambridge Univ. Press, 1990)
Keywords: Process algebra