A theory of reversibility for Erlang.

Ivan Lanese Naoki Nishida Adrián Palacios Germán Vidal

Published in: J. Log. Algebraic Methods Program. (2018)

Keyphrases

machine learning
three dimensional
markov chain
data sets
databases
decision trees
theoretical basis
information technology
measurement data
database
information theory
theoretical framework
computational model
special case
video sequences
multi agent
real world