Subject
General Computer Science,Theoretical Computer Science
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Ownership-Based Owicki-Gries Reasoning;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
2. Symmetry in Domination for Hypergraphs with Choice;Symmetry;2017-03-22
3. Concurrent Separation Logic and Operational Semantics;Electronic Notes in Theoretical Computer Science;2011-09