2 citations · 2 across the 1 of their papers we have counts for
4 papers
Graded Monads and Behavioural Equivalence Games
Chase Ford, Harsh Beohar, Barbara König +2
The framework of graded semantics uses graded monads to capture behavioural equivalences of varying granularity, for example as found on the linear-time/branching-time spectrum, ov…
Monads on Categories of Relational Structures
Chase Ford, Stefan Milius, Lutz Schröder
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the ari…
Finitary Monads on the Category of Posets
Jiří Adámek, Chase Ford, Stefan Milius +1
Finitary monads on are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequation…
Behavioural Preorders via Graded Monads
Chase Ford, Stefan Milius, Lutz Schröder
Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation to coarse-grained ones…