scientific article; zbMATH DE number 1497882

zbMATH Open0959.03501MaRDI QIDQ4499313FDOQ4499313

Authors: Alexandru Baltag 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• On logics for coalgebraic simulation
• Simulations and bisimulations for coalgebraic modal logics
• Coalgebraic logic
• A modular approach to defining and characterising notions of simulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (20)

• Title not available (Why is that?)
• Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
• Title not available (Why is that?)
• From DEL to EDL: Exploring the Power of Converse Events
• A note on the coalgebraic interpretation of game logic
• Stone coalgebras
• Coalgebras and monads in the semantics of Java
• Simulations in coalgebra
• Topo-bisimulations are coalgebraic
• A modular approach to defining and characterising notions of simulation
• Automata and fixed point logic: a coalgebraic perspective
• On logics for coalgebraic simulation
• Modular games for coalgebraic fixed point logics
• Graded monads and behavioural equivalence games
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Terminal Sequence Induction via Games
• Lax extensions of coalgebra functors and their logic
• A coalgebraic decision procedure for NetKAT
• Exploring the power of converse events

This page was built for publication:

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