The true concurrency of differential interaction nets.

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

human computer interaction
user interaction
database systems
database
real time
data sets
artificial intelligence
bayesian networks
video sequences
management system
software engineering
concurrency control
human interaction