University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Subject "unifying theories"

DSpace/Manakin Repository

Browsing Faculty of Science and Engineering by Subject "unifying theories"

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