Relative expressiveness of calculi for reversible concurrency.

Published in: Bull. EATCS (2019)

Keyphrases

cellular automata
expressive power
database systems
markov chain
decision making
real time
data flow
neural network
genetic algorithm
case study
fuzzy logic
transaction processing