Extensional quotient coalgebras

DOI10.1515/AUSM-2017-0023zbMath1390.68482OpenAlexW2800191822WikidataQ129901667 ScholiaQ129901667MaRDI QIDQ1750071

Jean-Paul Mavoungou

Publication date: 17 May 2018

Published in: Acta Universitatis Sapientiae. Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/ausm-2017-0023

zbMATH Keywords

bisimulationcongruence relation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural induction and coinduction in a fibrational setting
• Universal coalgebra: A theory of systems
• Relating coalgebraic notions of bisimulation
• A final coalgebra theorem
• Generic Trace Semantics via Coinduction
• Lifting theorems for Kleisli categories
• On the structure of categories of coalgebras

This page was built for publication: Extensional quotient coalgebras