scientific article; zbMATH DE number 1231637
From MaRDI portal
Publication:4222961
zbMath0917.68146MaRDI QIDQ4222961
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Relating Coalgebraic Notions of Bisimulation ⋮ Behavioural differential equations: a coinductive calculus of streams, automata, and power series ⋮ Relation lifting, a survey ⋮ Structural congruence for bialgebraic semantics ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Unnamed Item ⋮ Enhanced coalgebraic bisimulation ⋮ Coalgebraic semantics of modal logics: an overview ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata ⋮ On the Logic of Generalised Metric Spaces ⋮ Simulations in coalgebra ⋮ A coalgebraic presentation of structured transition systems ⋮ On the structure of categories of coalgebras ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ Probabilistic Functions and Cryptographic Oracles in Higher Order Logic ⋮ Towards Weak Bisimulation For Coalgebras ⋮ Universal coalgebra: A theory of systems ⋮ Bisimulation indexes and their applications
This page was built for publication:
