Session types and subtyping for orchestrated interactions.

Franco Barbanera Ugo de'Liguoro

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

Keyphrases

database
real time
three dimensional
interaction patterns
real world
artificial intelligence
high level
trade off