Applications of process algebra - Baeten J C M (Cambride C U P, 1990)
Keywords: Computer applications; Process algebra