Publisher
Springer Nature Switzerland
Reference72 articles.
1. Patterns in property specifications for finite-state verification home page. https://matthewbdwyer.github.io/psp/patterns.html
2. Akka documentation. http://akka.io/docs/ (2022)
3. JSR-133: Java Memory Model and Thread Specification Revision (2004). http://jcp.org/jsr/detail/133.jsp
4. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: a tutorial. Computer 29(12), 66–76 (1996). https://doi.org/10.1109/2.546611
5. Agarwal, A., Garg, V.K.: Efficient dependency tracking for relevant events in shared-memory systems. In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, pp. 19–28. PODC 2005, Association for Computing Machinery, New York, NY, USA (2005). https://doi.org/10.1145/1073814.1073818
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献