scientific article; zbMATH DE number 177239

MaRDI QIDQ4037089zbMATH OpenFDO

Authors Susanne Graf, Bernhard Steffen

Publication date 18 May 1993

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177514
• scientific article; zbMATH DE number 1799526
• Compositional minimisation of finite state systems using interface specifications
• Minimizing the number of transitions with respect to observation equivalence
• On-the-Fly Branching Bisimulation Minimization for Compositional Analysis

Cited in

(12)

• scientific article; zbMATH DE number 1670557 (Why is no real title available?)
• Context-dependent minimization of state/event systems
• scientific article; zbMATH DE number 177514 (Why is no real title available?)
• scientific article; zbMATH DE number 1538043 (Why is no real title available?)
• A stubborn attack on state explosion
• Compositionality in state space verification methods
• Minimality Notions via Factorization Systems and Examples
• Refined Interfaces for Compositional Verification
• On-the-Fly Branching Bisimulation Minimization for Compositional Analysis
• Bounded-memory algorithms for verification on-the-fly
• Compositional minimization in Span(Graph): some examples
• Compositional failure-based semantic models for basic LOTOS

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