An overview of TCCS
- 1 January 1992
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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.Keywords
This publication has 6 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Behavioural abstraction in TCCSPublished by Springer Nature ,1992
- An overview of TCCSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Real time process algebraFormal Aspects of Computing, 1991
- Relating processes with respect to speedPublished by Springer Nature ,1991
- Process Algebra as a Tool for Real Time AnalysisPublished by Springer Nature ,1991