Formal Aspects of Computing

, Volume 5, Issue 3, pp 224–252

TIC: A timed calculus

Article

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

Abstract

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.

Keywords

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