Relating Session Types and Behavioural Contracts: The Asynchronous Case.

Mario Bravetti Gianluigi Zavattaro

Published in: SEFM (2019)

Keyphrases

real time
e learning
three dimensional
database systems
machine learning
artificial intelligence
computer vision
decision making
metadata
reinforcement learning
special case
supply chain
collaborative learning