Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. http://www.cs.utexas.edu/users/kahlon/papers/concur11.pdf
2. Lecture Notes in Computer Science;M.F. Atig,2009
3. Lecture Notes in Computer Science;M.F. Atig,2009
4. Lecture Notes in Computer Science;M.F. Atig,2009
5. Lecture Notes in Computer Science;A. Bouajjani,1997
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Study on the classification model of lock mechanism in operating system;2022 IEEE 2nd International Conference on Power, Electronics and Computer Applications (ICPECA);2022-01-21
2. Reachability under Contextual Locking;Logical Methods in Computer Science;2013-09-17
3. Reachability Problem for Weak Multi-Pushdown Automata;Logical Methods in Computer Science;2013-09-11
4. Model-Checking Higher-Order Programs with Recursive Types;Programming Languages and Systems;2013
5. Contextual Locking for Dynamic Pushdown Networks;Static Analysis;2013