Login / Signup
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels.
Monika Kapus-Kolar
Published in:
J. Log. Algebraic Methods Program. (2020)
Keyphrases
</>
communication channels
databases
database systems
expert systems
learning systems
neural network
bayesian networks
search algorithm
cellular automata
causal reasoning