scientific article; zbMATH DE number 177241

MaRDI QIDQ4037092zbMATH OpenFDO

Authors Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs

Publication date 18 May 1993

zbMATH Keywords

bisimulationminimal state graph

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177515
• scientific article; zbMATH DE number 177514
• Minimal state graph generation
• Terminating minimal model generation procedures for propositional modal logics
• scientific article; zbMATH DE number 1614696

Cited in

(6)

• Minimal state graph generation
• Compositional failure-based semantic models for basic LOTOS
• Modular construction of minimal models
• Compositional minimization in Span(Graph): some examples
• scientific article; zbMATH DE number 177515 (Why is no real title available?)
• Minimisation and minimal realisation in Span(Graph)

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