Communicating State Transition Systems for Fine-Grained Concurrent Resources | Publicación