Login / Signup
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