University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Subject "concurrency theory"

DSpace/Manakin Repository

Browsing LERO - The Irish Software Research Centre by Subject "concurrency theory"

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


Advanced Search

Browse

My Account