Formal Aspects of Computing

, Volume 5, Issue 3, pp 224–252

TIC: A timed calculus


DOI: 10.1007/BF01211556

Cite this article as:
Quemada, J., de Frutos, D. & Azcorra, A. Formal Aspects of Computing (1993) 5: 224. doi:10.1007/BF01211556


TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.


TimeTimed algebraic calculusTICWeak bisimulation equivalence

Copyright information

© BCS 1993

Authors and Affiliations

  • Juan Quemada
    • 1
  • David de Frutos
    • 2
  • Arturo Azcorra
    • 1
  1. 1.Departmento Ingeniería Telemática, ETSI TelecomunicaciónUniversidad Politécnica de MadridMadridSpain
  2. 2.Dpto. Informática y Automática, Fac. Ciencias MatemáticasUniversidad ComplutenseMadridSpain