- many
practical applications, the state-transition
function of such a
coalgebraic object may be of the form X → f 1 × f 2 × … × f n {\displaystyle X\rightarrow...
- defender. A
bisimulation for
state transition systems is a
special case of
coalgebraic bisimulation for the type of
covariant powerset functor. Note that every...
-
called finitary algebraic categories. A
covariety is the
class of all
coalgebraic structures of a
given signature. A
variety of
algebras should not be...
-
algebra and a
counital co****ociative coalgebra.: 46 The
algebraic and
coalgebraic structures are made
compatible with a few more axioms. Specifically,...
- CASL have been designed: HasCASL, a higher-order
extension CoCASL, a
coalgebraic extension CspCASL, a
concurrent extension based on CSP ModalCASL, a modal...
- CMCS '20:
Proceedings of the 15th IFIP WG 1.3
International Workshop of
Coalgebraic Methods in
Computer Science. arXiv:2003.01964. Fritz, Tobias; Gonda,...
- ISBN 978-3-211-82971-4 Gumm, H. P.; Zarrad, M. (2014). "
Coalgebraic Simulations and Congruences".
Coalgebraic Methods in
Computer Science.
Lecture Notes in Computer...
- Roland; Crole, Roy L.; Gibbons, Jeremy, eds. (2002).
Algebraic and
coalgebraic methods in the
mathematics of
program construction:
international summer...
-
Pearson Education, Inc. ISBN 978-0-321-84268-8. Jacobs, Bart (1996). "
Coalgebraic Specifications and
Models of
Deterministic Hybrid Systems". In Wirsing...
- Reo exist.
Historically the
first semantics of Reo was
based on the
coalgebraic notion of
streams (i.e.,
infinite sequences). This
semantics is based...