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.
Previous | Index | Next An error occured whilst processing this directive