Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

TIC: A timed calculus

Juan QuemadaContact Information, David de Frutos2 and Arturo Azcorra1

(1) Departmento Ingeniería Telemática, ETSI Telecomunicación, Universidad Politécnica de Madrid, 28040 Madrid, Spain
(2) Dpto. Informática y Automática, Fac. Ciencias Matemáticas, Universidad Complutense, Madrid, Spain

Received: 15 August 1989  Accepted: 15 May 1992  

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  Time - Timed algebraic calculus - TIC - Weak bisimulation equivalence

This work was partially supported by CICYT under the TIC program (MEDAS project)

Contact InformationJuan Quemada
Email: Quemada@dit.upm.es
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this article
Export this article as RIS | Text
 
Referenced by
2 newer articles

  1. Merayo, M.G. (2008) . IEEE Transactions on Computers 57(6)
    [CrossRef]
  2. Merayo, Mercedes G. (2009) Testing timed systems modeled by Stream X-machines. Software and Systems Modeling
    [CrossRef]
Remote Address: 38.107.191.95 • Server: mpweb22
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)