3 results
Nathan Bowler ; Sergey Goncharov ; Paul Blain Levy ; Lutz Schröder.
We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the component theories. As such, they extend the sum of two […]
Published on September 18, 2013
Lutz Schröder.
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type class mechanism, and we describe constructions of […]
Published on December 25, 2008
Thorsten Wißmann ; Ulrich Dorsch ; Stefan Milius ; Lutz Schröder.
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical relational systems but also, e.g. various forms of weighted systems […]
Published on January 31, 2020