University of Limerick Institutional Repository

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

DSpace/Manakin 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


Advanced Search

Browse

My Account