Timed Session Types.

Massimo Bartoletti Tiziana Cimoli Maurizio Murgia

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

petri net
database
information retrieval
artificial intelligence
case study
multiscale
reinforcement learning
data streams