Communicating State Transition Systems for Fine-Grained Concurrent Resources.

Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germn Andrs Delbianco

Browse the full ESOP paper archive.