A Calculus of Timed Communicating Systems

In this paper we define an operational semantics for a timed version of a Calculus of Communicating Systems (CCS) [1], We also consider timing constraints that a process needs to satisfy and develop preorder relations induced by the temporal constraints.