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

DOI10.1007/11780274_11zbMath1132.68319OpenAlexW1503244527MaRDI QIDQ5757944

Hélène Kirchner, Oana Andrei, Liliana Ibanescu

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

Mathematics Subject Classification ID

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

Related Items

Twenty years of rewriting logic, Strategies, model checking and branching-time properties in Maude, A Rewriting Calculus for Multigraphs with Ports

Uses Software

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