Abstract: We introduce a timed calculus of communicating systems, which is an extension of CCS and allows for the expression and analysis of real-time systems using a dense time. A semantic theory based on bisimulation is developed for timed CCS. We present the expansion laws and unique solution result for guarded equations. Also we discuss a weak bisimulation which is essential for process verification.
This report is not available on-line.Previous | Index | Next