Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

DOI10.1007/11780274_11zbMATH Open1132.68319OpenAlexW1503244527MaRDI QIDQ5757944FDOQ5757944

Authors: Oana Andrei, Liliana Ibănescu, Hélène Kirchner 

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_11

Recommendations

• From chemical rules to term rewriting
• A formal software development approach using refinement calculus
• scientific article; zbMATH DE number 1231657
• scientific article; zbMATH DE number 795668
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 1629834

Mathematics Subject Classification ID

Theory of programming languages (68N15) Classical flows, reactions, etc. in chemistry (92E20)

Cited In (5)

• Twenty years of rewriting logic
• Formal Islands
• Strategies, model checking and branching-time properties in Maude
• A rewriting calculus for multigraphs with ports
• From chemical rules to term rewriting

Uses Software

• Stratego
• ATERM
• CafeOBJ
• Maude
• Tom
• Marvin
• ASF+SDF

This page was built for publication: Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

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