Timed Session Types.

Massimo Bartoletti Tiziana Cimoli Maurizio Murgia

Published in: CoRR (2017)

Keyphrases

petri net
multiscale
multiresolution
real time
real world
artificial intelligence
three dimensional
high level
cooperative
computational complexity
information technology
artificial neural networks
evolutionary algorithm
discrete event