A Timed Calculus of Communicating Systems

Liang Chen, Stuart Anderson and Faron Moller

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.

LFCS report ECS-LFCS-90-127

This report is not available on-line.

Previous | Index | Next