Publisher
Springer International Publishing
Reference15 articles.
1. Abrial, J.-R.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.-R., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y
3. Lecture Notes in Computer Science;M Barnett,2006
4. Elmas, T., Qadeer, S., Tasiran, S.: A calculus of atomic actions. In: Shao, Z., Pierce, B.C. (eds.) POPL 2009, pp. 2–15. ACM (2009). https://doi.org/10.1145/1480881.1480885
5. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Cytron, R., Gupta, R. (eds.) PLDI 2003, pp. 338–349. ACM (2003). https://doi.org/10.1145/781131.781169
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenario-Based Proofs for Concurrent Objects;Proceedings of the ACM on Programming Languages;2024-04-29
2. Commutativity Simplifies Proofs of Parameterized Programs;Proceedings of the ACM on Programming Languages;2024-01-05
3. Abstracting and Verifying Decentralised Systems in CSP;Lecture Notes in Computer Science;2024
4. Commutativity in Automated Verification;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Stratified Commutativity in Verification Algorithms for Concurrent Programs;Proceedings of the ACM on Programming Languages;2023-01-09