scientific article; zbMATH DE number 177239

zbMATH Open0789.68094MaRDI QIDQ4037089FDOQ4037089

Authors: Susanne Graf, Bernhard Steffen 

Publication date: 18 May 1993

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Context-dependent minimization of state/event systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• A stubborn attack on state explosion
• Compositionality in state space verification methods
• 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
• Title not available (Why is that?)

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)