A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting

DOI10.1016/J.TCS.2020.10.035MaRDI QIDQ1998863zbMATH OpenOpenAlexFDO

Authors Paolo Bottoni, Anna Labella

Publication date 9 March 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.10.035

zbMATH Keywords

grammar systemsinteraction processesnondeterminismregulated rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A formalization of sequential, parallel, and continuous rewriting
• A general framework for regulated rewriting based on the applicability of rules
• scientific article; zbMATH DE number 2068880
• scientific article; zbMATH DE number 2150284
• Graphs of grammars - derivations as parallel processes

Cites work

• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
• A general framework for sequential grammars with control mechanisms
• A Modal-Logic Based Graph Abstraction
• Algebraic laws for nondeterminism and concurrency
• Conditional rewriting logic as a unified model of concurrency
• Cooperation in context-free grammars
• Fundamentals of algebraic graph transformation
• Graph Transformation Units – An Overview
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4080941 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 193524 (Why is no real title available?)
• scientific article; zbMATH DE number 1406157 (Why is no real title available?)
• On some derivation mechanisms and the complexity of their Szilard languages
• On the complexity of Szilard languages of regulated grammars
• Three models for the description of language

This page was built for publication: A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting

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