Characterising Behavioural Equivalence: Three Sides of One Coin

DOI10.1007/978-3-642-03741-2_8zbMath1239.68045OpenAlexW1880933543MaRDI QIDQ2888480

Raul Leal, Clemens Kupke

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_8

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Stream processors and comodels ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Coalgebraic logics \& duality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coalgebraic logic
• A hidden agenda
• Universal coalgebra: A theory of systems
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Expressivity of coalgebraic modal logic: the limits and beyond
• Final coalgebras and the Hennessy-Milner property
• Computer Science Logic
• Coalgebraic modal logic of finite rank
• Modal and temporal properties of processes

This page was built for publication: Characterising Behavioural Equivalence: Three Sides of One Coin