Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492826
DOI10.1007/11548133zbMath1151.03357OpenAlexW249899439MaRDI QIDQ5492826
Clemens Kupke, Dirk Pattinson, Alexander Kurz
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11548133
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)
Related Items (9)
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Unnamed Item ⋮ Smooth coalgebra: testing vector analysis ⋮ A Road to Ultrafilter Extensions ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Unnamed Item
This page was built for publication: Algebra and Coalgebra in Computer Science