scientific article; zbMATH DE number 177516

MaRDI QIDQ4037385zbMATH OpenFDO

Authors Bernhard Josko

Publication date 18 May 1993

zbMATH Keywords

reactive systemstemporal logicbisimulationhierarchical designKripke structuresmodular specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177255
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Equivalences for fair Kripke structures
• Publication:3028984
• Characterizing finite Kripke structures in propositional temporal logic

Cited in

(1)

• scientific article; zbMATH DE number 177255 (Why is no real title available?)

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