M. Daniels. Modelling Real-Time Behaviour with an Interval Time Calculus. In Formal Techniques in Real-Time and FaultTolerant Systems, LNCS 571, pp. 53-72, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Real-Time Process Algebra with Open Intervals and Maximal.. - Fecher (Correct)
....Extended Abstract Real time models are used to model time dependent physical problems. The common approach is to restrict action occurrences to closed, more precisely to left closed intervals. Contrary to this, timed automata [AD94] and some process algebras (for example [Che92, Dan91]) allow actions to occur in open intervals in order to increase their expressive power. Another important property of timed process algebras is the maximal progress assumption, i.e. an action must occur at the instant at which all participants are ready. This assumption thus guarantees that time ....
M. Daniels. Modelling real--time behaviour with an interval time calculus. LNCS, 571:53--72, 1991.
A Real-Time Process Algebra with Open Intervals and Maximal.. - Fecher (Correct)
....Real time models are used to model time dependent physical problems. The common approach is to restrict action occurrences to closed, more precisely to left closed intervals [RR88, Sch00, MT90, Wan90, Mur92, FZ94, CL96, LL97] Contrary to this, timed automata [AD94] and some process algebras [BB91, Klu91, Dan91, Che92, Jef92] allow actions to occur in open intervals in order to increase their expressive power. Another important property of timed process algebras is the maximal progress assumption, i.e. an action must occur at the instant at which all participants are ready. This assumption thus guarantees that time ....
....the instant at which all participants are ready. This assumption thus guarantees that time cannot proceed if an internal action is enabled. Typical time process algebras which meet this assumption are [HR95, Wan90, Sch00, CL96, LL97] But none of the mentioned algebras satisfy both properties. In [Dan91], the author considered a progress assumption, which means that an internal action must not be delayed more than to its upper time limit, i.e. it is not allowed to disable an internal action by idling. His assumption is contrary to our assumption where idling is completely forbidden once the ....
M. Daniels. Modelling real--time behaviour with an interval time calculus. LNCS, 571:53--72, 1991.
A Calculus of Timed Refinement (Extended Abstract) - Cerans (Correct)
.... many of the existing timed specification formalisms do allow in certain natural sense loose specifications of time information (it would be not that natural to determine at early system design stage exactly what are the time quantities between specific events going to be 2 ) at least [MF76, AD90, Che92, Dan92, CGL93] to be mentioned. The calculus CTR 3 presented in this paper is also designed to follow this tradition. Specifically, its aim is to provide a framework with mathematically precise and semantically justified notion of timed specification refinement (when one specification can be termed to be ....
M. Daniels, Modelling Real-Time Behaviour with an Interval Time Calculus, in Proceedings of Conference on Formal Techniques in RT and FT Systems, Nijmegen, 1992
Timed Process Description Languages Based on CCS - GRUSKA, MAGGIOLO-SCHETTINI (1991) (Correct)
No context found.
M. Daniels. Modelling Real-Time Behaviour with an Interval Time Calculus. In Formal Techniques in Real-Time and FaultTolerant Systems, LNCS 571, pp. 53-72, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC