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

DOI10.1016/J.TCS.2020.10.035zbMath1497.68240OpenAlexW3100646251MaRDI QIDQ1998863

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

nondeterminismgrammar systemsregulated rewritinginteraction processes

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Cooperation in context-free grammars
• A general framework for sequential grammars with control mechanisms
• On some derivation mechanisms and the complexity of their Szilard languages
• Fundamentals of algebraic graph transformation
• On the Complexity of Szilard Languages of Regulated Grammars
• Graph Transformation Units – An Overview
• A Modal-Logic Based Graph Abstraction
• Algebraic laws for nondeterminism and concurrency
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
• Three models for the description of language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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