Modular multiset rewriting

DOI10.1007/978-3-662-48899-7_36MaRDI QIDQ3460080zbMATH OpenOpenAlexFDO

Authors Iliano Cervesato, Edmund S. L. Lam

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_36

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Modular rewriting semantics in practice
• Algebraic Methodology and Software Technology
• Term Rewriting and Applications
• scientific article; zbMATH DE number 40801
• On the complexity of concurrent multiset rewriting

This page was built for publication: Modular multiset rewriting

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