University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Subject "clocked systems"

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Subject "clocked systems"

Sort by: Order: Results:

  • Gancarski, Pawel; Butterfield, Andrew (Springer-Verlag, 2010)
    This paper describes an extension adding priority to slotted-Circus, a generic framework for reasoning about discretely timed and/or synchronously clocked systems. The semantics of prioritised external choice is given using ...

Search DSpace


Browse

My Account

Statistics