Modular multiset rewriting

DOI10.1007/978-3-662-48899-7_36zbMATH Open1471.68106OpenAlexW2293582205MaRDI QIDQ3460080FDOQ3460080

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

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

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)

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)