Titlebook: Coalgebraic Methods in Computer Science; 15th IFIP WG 1.3 Int Daniela Petri?an,Jurriaan Rot Conference proceedings 2020 IFIP International

Serenity

古代

止痛藥

choleretic

Learning Automata with Side-Effects,ric on a monad, which provides a rich algebraic structure to capture non-determinism and other side-effects. We show that this allows us to uniformly capture existing algorithms, develop new ones, and add optimizations.

揮舞

Approximate Coalgebra Homomorphisms and Approximate Solutions,s. The subspace formed by the initial algebra . has the property that for every coalgebra . we obtain its unique homomorphism into . as a limit of a Cauchy sequence of morphisms into . called approximate homomorphisms. The concept of a strongly lfp category includes categories of sets, posets, vecto

過剩

無彈性

Free-Algebra Functors from a Coalgebraic Perspective, . be the free .algebra over . and . the variety of all algebras satisfying . We consider the question, under which conditions the .-functor . weakly preserves pullbacks, kernel pairs, or preimages[.]..We first generalize a joint result with our former student Ch. Henkel, asserting that an arbitrary

使?jié)M足

catagen

RADE

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas,ng of coalgebra and focus on generic algorithms for computing the winning strategies of both players in a bisimulation game. The winning strategy of the spoiler (if it exists) is then transformed into a modal formula that distinguishes the given non-bisimilar states. The modalities required for the