Coalgebraic Bisimulation-Up-To
From MaRDI portal
Publication:2927660
DOI10.1007/978-3-642-35843-2_32zbMath1303.68088OpenAlexW1553849808MaRDI QIDQ2927660
Marcello M. Bonsangue, Jurriaan Rot, Jan J. M. M. Rutten
Publication date: 4 November 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35843-2_32
Related Items (17)
Rational operational models ⋮ Unnamed Item ⋮ Structural congruence for bialgebraic semantics ⋮ Newton series, coinductively: a comparative study of composition ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ A coalgebraic view on decorated traces ⋮ Friends with Benefits ⋮ On series-parallel pomset languages: rationality, context-freeness and automata ⋮ Automata Learning: A Categorical Perspective ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Unnamed Item ⋮ Context-free coalgebras ⋮ Coalgebraic semantics for nominal automata
This page was built for publication: Coalgebraic Bisimulation-Up-To