scientific article; zbMATH DE number 1497882

zbMATH Open0959.03501MaRDI QIDQ4499313FDOQ4499313

Alexandru Baltag

Publication date: 5 March 2001

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

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 (17)

• 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
• Exploring the Power of Converse Events
• Stone coalgebras
• Coalgebras and monads in the semantics of Java
• Simulations in coalgebra
• A modular approach to defining and characterising notions of simulation
• Automata and fixed point logic: a coalgebraic perspective
• 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

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)