Abstract: In this paper two timed calculi for concurrent processes are presented. They differ in their concepts of time cost. We will show that they are strongly related and present a number of natural equivalences and orders over timed processes. We present a number of examples including a temporal analysis of an alternating bit protocol.
Previous | Index | Next An error occured whilst processing this directive