Searched for: department:"Engineering%2C%5C%2BSystems%5C%2Band%5C%2BServices"
(1 - 5 of 5)
document
Hansen, H.H. (author), Ossa, C. (author), Palmigiano, A. (author), Re, R. (author)
conference paper 2015
document
Bonsangue, M.M. (author), Hansen, H.H. (author), Kurz, A. (author), Rot, J. (author)
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a...
journal article 2015
document
Basold, H. (author), Hansen, H.H. (author), Pin, J.E. (author), Rutten, J. (author)
We present a comparative study of four product operators on weighted languages: (i) the convolution, (ii) the shuffle, (iii) the infiltration, and (iv) the Hadamard product. Exploiting the fact that the set of weighted languages is a final coalgebra, we use coinduction to prove that an operator of the classical difference calculus, the Newton...
conference paper 2015
document
Kupke, C. (author), Hansen, H.H. (author)
We present a coalgebraic generalisation of Fischer and Ladner’s Propositional Dynamic Logic (PDL) and Parikh’s Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration. The coalgebraic semantics of such programs is given by a monad T, and modalities are interpreted via a...
conference paper 2015
document
Endrullis, J. (author), Hansen, H.H. (author), Hendriks, D. (author), Polonsky, A. (author), Silva, A. (author)
conference paper 2015
Searched for: department:"Engineering%2C%5C%2BSystems%5C%2Band%5C%2BServices"
(1 - 5 of 5)