Refining reactive systems using the refinement calculator (extended abstract)

MaRDI QIDQ4370285zbMATH OpenFDO

Authors T. Långbacka

Publication date 14 January 1998

zbMATH Keywords

reactive systemrefinement calculator

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• The refinement calculus of reactive systems
• A calculational approach to reactive systems
• Superposition refinement of reactive systems
• Towards quantitative verification of reaction systems
• Reaction Systems and Enabling Equivalence
• Diagram refinements for the design of reactive systems
• Innovative computing and detailed properties of elementary reactions using time independent approaches
• Reactive n-species Cahn-Hilliard system: a thermodynamically-consistent model for reversible chemical reactions
• A calculus of chemical systems

Cited in

(4)

• A calculational approach to reactive systems
• The refinement calculus of reactive systems
• scientific article; zbMATH DE number 2147039 (Why is no real title available?)
• Decoupled fitness criteria for reactive systems

Describes a project that uses

Uses Software

• HOL

This page was built for publication: Refining reactive systems using the refinement calculator (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4370285)