A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
From MaRDI portal
Publication:1998863
DOI10.1016/J.TCS.2020.10.035zbMath1497.68240OpenAlexW3100646251MaRDI QIDQ1998863
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
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