Finite transition systems : semantics of communicating systems / - Arnold, A. (Masson, 1994)