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.
|
 |
TIC: A timed calculus
| |
|
Juan Quemada1 , 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)
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|