A. Kogan, und E. Petrank. Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, Seite 141--150. New York, NY, USA, ACM, (2012)
A. Datta, A. Derek, J. Mitchell, und D. Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, Seite 11--23. New York, NY, USA, ACM, (2003)
A. Datta, A. Derek, J. Mitchell, und 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, und R. Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER, Seite 238--253. Springer, (2006)
S. Tasiran, A. Sezgin, und S. Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
M. Kühnrich, und 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, Seite 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, und F. von Henke. Volume 670 von Lecture Notes in Computer Science, Seite 482--500. Odense, Denmark, Springer-Verlag, (April 1993)
N. Oury, und W. Swierstra. Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, Seite 39--50. New York, NY, USA, ACM, (2008)
K. Chaudhuri, D. Doligez, L. Lamport, und S. Merz. Theoretical Aspects of Computing – ICTAC 2010, Volume 6255 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)
M. Henzinger, T. Henzinger, und P. Kopke. Proceedings of the 36th Annual Symposium on Foundations of Computer Science, Seite 453--. Washington, DC, USA, IEEE Computer Society, (1995)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, und A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, Seite 305--319. Springer Verlag, (1993)
P. O'Hearn, J. Reynolds, und H. Yang. CSL '01: Proceedings of the 15th International Workshop on Computer Science Logic, Seite 1--19. London, UK, Springer-Verlag, (2001)