Fair Refinement for Asynchronous Session Types (extended version).

Mario Bravetti Julien Lange Gianluigi Zavattaro

Published in: CoRR (2021)

Keyphrases

data mining
information retrieval
three dimensional
neural network
machine learning
clustering algorithm
case study
multi agent
expert systems
multiple types
refinement process
asynchronous communication