Coalgebraic Simulations and Congruences

DOI10.1007/978-3-662-44124-4_7zbMath1445.68140OpenAlexW2166065941WikidataQ59938799 ScholiaQ59938799MaRDI QIDQ2942779

Mehdi Zarrad, H. Peter Gumm

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44124-4_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

On difunctions ⋮ Moore-Penrose Dagger Categories ⋮ Transitivity and Difunctionality of Bisimulations ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically

This page was built for publication: Coalgebraic Simulations and Congruences