Languages of distributed reaction systems
From MaRDI portal
Publication:2104134
DOI10.1007/978-3-031-13502-6_5OpenAlexW4290017183MaRDI QIDQ2104134
Lucie Ciencialová, Luděk Cienciala, Erzsébet Csuhaj-Varjú
Publication date: 9 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-13502-6_5
recursively enumerable languagereaction systemsdistributed reaction systemsright-linear simple matrix language
Related Items (1)
Cites Work
- Unnamed Item
- Complexity of model checking for reaction systems
- An infinite hierarchy of languages defined by dP systems
- Steady states of constrained reaction systems
- Model checking temporal properties of reaction systems
- Functions and sequences generated by reaction systems
- Communicating reaction systems with direct communication
- FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
- dP Automata versus Right-Linear Simple Matrix Grammars
- FUNCTIONS DEFINED BY REACTION SYSTEMS
- Normal forms for phrase-structure grammars
- Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations
- Networks of Reaction Systems
- Reaction System Models for the Heat Shock Response
- Simple matrix languages
- Developments in Language Theory
This page was built for publication: Languages of distributed reaction systems
