DMCA

Communicating State Transition Systems for Fine-Grained Concurrent Resources

by Ar Nanevski , Ruy Ley-wild , Ilya Sergey
Citations:7 - 3 self