A. Kogan, and E. Petrank. Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, page 141--150. New York, NY, USA, ACM, (2012)
A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, page 11--23. New York, NY, USA, ACM, (2003)
A. Datta, A. Derek, J. Mitchell, and A. Roy. Electronic Notes in Theoretical Computer Science, 172 (0):
311 - 358(2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.
R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira, and R. Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER, page 238--253. Springer, (2006)
S. Tasiran, A. Sezgin, and S. Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
M. Kühnrich, and U. Nestmann. Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, page 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)
D. Hughes. (2004)cite arxiv:math/0408282
Comment: Appears in Annals of Mathematics, 2006. 5 pages + references. Version
1 is submitted version; v3 is final published version (in two-column format
rather than Annals style). Changes for v2: dualised definition of
combinatorial truth, thereby shortening some subsequent proofs; added
references; corrected typos; minor reworking of some sentences/paragraphs;
added comments on polynomial-time correctness (referee request). Changes for
v3: corrected two typos, reworded one sentence, repeated a citation in Notes
section.
S. Owre, J. Rushby, N. Shankar, and F. von Henke. volume 670 of Lecture Notes in Computer Science, page 482--500. Odense, Denmark, Springer-Verlag, (April 1993)