Relational properties of sequential composition of coalgebras

DOI10.1016/J.JLAP.2014.02.011MaRDI QIDQ406463zbMATH OpenOpenAlexFDO

Authors Michael Winter, Peter Kempf

Publication date 8 September 2014

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2014.02.011

zbMATH Keywords

coalgebrabisimulationDedekind categoriessequential composition

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Equivalence co-relatios and co-congruences of co-algebras
• Operations and equations for coalgebras
• Relating coalgebraic notions of bisimulation
• Universal coalgebra: A theory of systems
• Solving Algebraic Equations Using Coalgebra

Cites work

• scientific article; zbMATH DE number 6115908 (Why is no real title available?)
• scientific article; zbMATH DE number 3683841 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1735902 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• An Ordered Category of Processes
• Coalgebraic Logic and Synthesis of Mealy Machines
• Communicating sequential processes
• Filtration via bisimulation
• Introduction to bisimulation and coinduction
• Relational Methods in Computer Science
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary

Cited in

(1)

• Solving Algebraic Equations Using Coalgebra

This page was built for publication: Relational properties of sequential composition of coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406463)