Towards weak bisimulation for coalgebras

DOI10.1016/S1571-0661(04)80499-7zbMATH Open1268.68130MaRDI QIDQ2841308FDOQ2841308

Authors: Jan Rothe, Dragan Mašulović 

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Modal logics for observation equivalences
• Weak bisimulations for coalgebras over ordered functors
• A syntactical approach to weak (bi-)simulation for coalgebras
• Weak bisimulation for action-type coalgebras (extended abstract)
• Coalgebraic weak bisimulation for action-type systems

Mathematics Subject Classification ID

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

Cites Work

• The coalgebraic class specification language CCSL
• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• A note on Coinduction and Weak Bisimilarity for While Programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• An approach to object semantics based on terminal co-algebras
• Title not available (Why is that?)
• Institutionalising many-sorted coalgebraic modal logic
• A syntactical approach to weak (bi-)simulation for coalgebras

Cited In (16)

• Coalgebras for Bisimulation of Weighted Automata over Semirings
• Structural operational semantics for weak bisimulations
• On cool congruence formats for weak bisimulations
• Subsequential transducers: a coalgebraic perspective
• New up-to techniques for weak bisimulation
• Modal logics for observation equivalences
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• A syntactical approach to weak (bi-)simulation for coalgebras
• Weak bisimilarity coalgebraically
• An exercise on transition systems
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
• Adding recursive constructs to bialgebraic semantics
• Coalgebraic Weak Bisimulation from Recursive Equations over Monads
• Weak homomorphisms and graph coalgebras
• Behavioural equivalences for coalgebras with unobservable moves
• A note on Coinduction and Weak Bisimilarity for While Programs

Uses Software

• CCSL

This page was built for publication: Towards weak bisimulation for coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841308)