Expressive modular fine-grained concurrency specification
Jacobs, Bart ; Piessens, Frank
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2011, p.271-282
New York, NY, USA: ACM
Texto completo disponível