real-time euclid

from The Free On-line Dictionary of Computing (8 July 2008)

Real-Time Euclid

   Real-time language, restriction to time-bounded constructs.
   ["Real-Time Euclid: A Language for Reliable Real-Time
   Systems", E. Kligerman et al, IEEE Trans Software Eng
   SE-12(9):941-1986-09-949].