• DocumentCode
    2423118
  • Title

    An overview of TCCS

  • Author

    Moller, Faron ; Tofts, Chris

  • Author_Institution
    University of Edinburgh
  • fYear
    1992
  • fDate
    3-5 June 1992
  • Firstpage
    98
  • Lastpage
    103
  • 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.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 1992. Proceedings., Fourth Euromicro workshop on
  • Conference_Location
    Athens, Greece
  • Print_ISBN
    0-8186-2815-4
  • Type

    conf

  • DOI
    10.1109/EMWRT.1992.637478
  • Filename
    637478
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2423118