Title :
An overview of TCCS
Author :
Moller, Faron ; Tofts, Chris
Author_Institution :
University of Edinburgh
Abstract :
We describe the ongoing development of TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects of systems, as well as their functional behaviour. Such aspects include when events can and must occur, as well as how fast a process may execute.
Conference_Titel :
Real-Time Systems, 1992. Proceedings., Fourth Euromicro workshop on
Conference_Location :
Athens, Greece
Print_ISBN :
0-8186-2815-4
DOI :
10.1109/EMWRT.1992.637478
