Login / Signup
PCF-based formalization of the parallel composition of automata.
Artem Davydov
Aleksandr Larionov
Nadezhda V. Nagul
Published in:
ICCS-DE (2019)
Keyphrases
</>
cellular automata
parallel processing
massively parallel
parallel computing
formal model
machine learning
parallel programming
database systems
multi agent systems
website
social networks
shared memory
learning algorithm
information retrieval
distributed memory
real time
probabilistic automata
music composition