Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.

Rob van Glabbeek Peter Höfner Ross Horne

Published in: CoRR (2021)

Keyphrases

data sets
cooperative
real time
information retrieval
artificial intelligence
computer vision
multi agent systems
special case
data warehouse
multiple types