Další formáty:
BibTeX
LaTeX
RIS
@article{74262, author = {Ciencialová, Lucie and Cienciala, Luděk and CsuhajandVarjú, Erzsébet}, article_location = {Singapore}, doi = {http://dx.doi.org/10.1142/S0129054123460024}, keywords = {Reaction systems; Distributed reaction systems; Right-linear simple matrix language; Recursively enumerable language; Model checking}, language = {eng}, issn = {0129-0541}, journal = {International Journal of Foundations of Computer Science}, title = {Language Classes of Extended Distributed Reaction Systems}, url = {https://www.worldscientific.com/doi/10.1142/S0129054123460024}, year = {2024} }
TY - JOUR ID - 74262 AU - Ciencialová, Lucie - Cienciala, Luděk - Csuhaj-Varjú, Erzsébet PY - 2024 TI - Language Classes of Extended Distributed Reaction Systems JF - International Journal of Foundations of Computer Science PB - World Scientific Publishing SN - 01290541 KW - Reaction systems KW - Distributed reaction systems KW - Right-linear simple matrix language KW - Recursively enumerable language KW - Model checking UR - https://www.worldscientific.com/doi/10.1142/S0129054123460024 ER -
CIENCIALOVÁ, Lucie, Luděk CIENCIALA a Erzsébet CSUHAJ-VARJÚ. Language Classes of Extended Distributed Reaction Systems. \textit{International Journal of Foundations of Computer Science}. Singapore: World Scientific Publishing, 2024. ISSN~0129-0541. Dostupné z: https://dx.doi.org/10.1142/S0129054123460024.
|