Browsing by Subject "real-time distributed systems"

The paper presents a syntactical approach to designing
real-time distributed systems that can handle both continuous
time and discrete time models in a uniform logical
framework. We approximate continuous state variables
by ...