Systems of parallel communicating restarting automata
From MaRDI portal
Publication:2877370
DOI10.1051/ITA/2013046zbMath1366.68153OpenAlexW2146709233MaRDI QIDQ2877370
Friedrich Otto, Marcel Vollweiler
Publication date: 22 August 2014
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/80843bdd33a2538c2249819da5fba12e0664f28e
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: Systems of parallel communicating restarting automata