University of Limerick Institutional Repository

Browsing by Subject "time slots"

DSpace Repository

Browsing by Subject "time slots"

Sort by: Order: Results:

  • Gancarski, Pawel; Butterfield, Andrew (Springer, 2009)
    This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked systems. The key result presented here is a ...

Search DSpace

Browse

My Account

Statistics