Relating two categorical models of term rewriting

DOI10.1007/3-540-59200-8_59MaRDI QIDQ5055833OpenAlexFDO

Authors Andrea Corradini, Fabio Gadducci, Ugo Montanari

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59200-8_59

zbMATH Keywords

concurrencyterm rewritingcategorical modelsrewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) 2-categories, bicategories, double categories (18N10)

Recommendations

• Categorical rewriting of term-like structures
• Categorification, term rewriting and the Knuth-Bendix procedure
• scientific article; zbMATH DE number 1086713
• Computational Category-Theoretic Rewriting
• Computational category-theoretic rewriting
• Presenting a Category Modulo a Rewriting System
• Categorical models of logical systems in the mathematical theory of programming
• scientific article; zbMATH DE number 1231534
• Classifying spaces of categories and term rewriting
• scientific article; zbMATH DE number 4202235

Cites work

• scientific article; zbMATH DE number 3988695 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• scientific article; zbMATH DE number 627411 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• An abstract formulation for rewrite systems
• CPO models for infinite term rewriting
• Conditional rewriting logic as a unified model of concurrency
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Initial Algebra Semantics and Continuous Algebras
• Semantics of weakening and contraction

Cited in

(14)

• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• scientific article; zbMATH DE number 431765 (Why is no real title available?)
• A natural semantic framework for ECATNets
• Relaxed models for rewriting logic
• Relating conflict-free stable transition and event models via redex families
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• Categorical rewriting of term-like structures
• Presenting a Category Modulo a Rewriting System
• Tile formats for located and mobile systems.
• scientific article; zbMATH DE number 139987 (Why is no real title available?)
• A causal semantics for CCS via rewriting logic
• Rewriting logic as a semantic framework for concurrency: a progress report
• Formal Methods in Software and Systems Modeling
• Rewriting logic: Roadmap and bibliography

This page was built for publication: Relating two categorical models of term rewriting

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