scientific article; zbMATH DE number 6863849

zbMATH Open1385.03015MaRDI QIDQ4636281

Erich Grädel, Faried Abu Zaid, Stephan Jaax

Publication date: 23 April 2018

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

zbMATH Keywords

modal logicfixed point logicdynamic logicbisimulation invariancesafety for bisimulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Fixpoint semantics and simulation ⋮ Program constructions that are safe for bisimulation

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 Q4636281)