Temporal Ordering for Concurrency

C. Tofts

Abstract: A timed extension of CCS is presented, on which an extended notion of bisimulation equivalence is defined. This new notion reflects both behavioural equivalence and the ability to perform a given task equally rapidly. These bisimulations are used to prove some temporal properties of simple processes.

LFCS report ECS-LFCS-88-49

Previous | Index | Next