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

Rob van Glabbeek Peter Höfner Ross Horne

Published in: LICS (2021)

Keyphrases

computer vision
information systems
data mining
machine learning
cooperative
expert systems
artificial neural networks
mobile robot
resource allocation
concurrency control