Process algebra with timing - Baeten J C M; Middelburg C A (Berlin Springer-Verlag, 2002)
Keywords: Communicating processes; Processes(algebra)