Timing Concurrent Processes

Chris Tofts

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.

LFCS report ECS-LFCS-89-103

Previous | Index | Next