A Fully Abstract Presheaf Semantics of SCCS with Finite Delay ∗

  • Thomas Troels Hildebrandt BRICS
  • Published 1999


We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in… (More)

3 Figures and Tables


  • Presentations referencing similar topics