Mobile Processes with Local Clocks

  title={Mobile Processes with Local Clocks},
  author={Pierpaolo Degano and Jean-Vincent Loddo and Corrado Priami},
We propose a structural operational semantics that expresses temporal aspects of mobile and distributed systems, each sequential component of which has its local clock. Since the run-time support of a programming language implements the operations of the language via some lower-level routines, the same action, put in diierent contexts, may have diierent durations. Also the network topology aaects these durations, typically when messages are exchanged. We model this through a transition system… CONTINUE READING