Automatic Refinement of Split Binary Semaphore
暂无分享,去创建一个
[1] Alain J. Martin,et al. Design of Synchronization Algorithms , 1989 .
[2] Fred B. Schneider. On Concurrent Programming , 1997, Graduate Texts in Computer Science.
[3] Greg R Andrews. Foundations of Parallel and Distributed Programming , 1999 .
[4] Gregory R. Andrews,et al. Foundations of Multithreaded, Parallel, and Distributed Programming , 1999 .
[5] Fred B. Schneider,et al. On concurrent programming , 1997, CACM.
[6] Edsger W. Dijkstra. A Tutorial on the Split Binary Semaphore , 1982 .
[7] Zohar Manna,et al. Automatic Generation of Invariants and Intermediate Assertions , 1997, Theor. Comput. Sci..
[8] Tobias Nipkow,et al. The Isabelle Reference Manual , 2007 .
[9] Joep L. W. Kessels. An alternative to event queues for synchronization in monitors , 1977, CACM.
[10] Edsger W. Dijkstra,et al. Predicate Calculus and Program Semantics , 1989, Texts and Monographs in Computer Science.
[11] Ashish Tiwari,et al. A Technique for Invariant Generation , 2001, TACAS.
[12] Sergey Berezin,et al. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B , 2004, CAV.
[13] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[14] Zohar Manna,et al. On the Faithfulness of Formal Models , 1991, MFCS.