论文与出版物 Distributed Shared Object Memory Paulo Guedes, Miguel Castro Fourth Workshop on Workstation Operating Systems | October 1993
论文与出版物 AMAST’91 Banquet Talk Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | October 1993
论文与出版物 Directions in Software Development and Maintenance Ted J. Biggerstaff MSR-TR-93-16 | September 1993
论文与出版物 A New Presumed Commit Optimization for Two Phase Commit Butler Lampson, David Lomet 19th International Conference on Very Large Data Bases (VLDB ’93) | August 1993 ISBN 1-55860-152-X
论文与出版物 Randomizing Reductions of Search Problems Andreas Blass, Yuri Gurevich SIAM J. on Computing | July 1993, 第 22 卷(5): pp. 949-975
论文与出版物 Factoring an Adequacy Proof (Preliminary Report) Roy L. Crole, Andy Gordon Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993 | July 1993 ISBN: 9783540198796
论文与出版物 An Operational Semantics for I/O in a Lazy Functional Language Andy Gordon FPCA ’93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen | June 1993 ISBN: 0-89791-595-X
论文与出版物 Processing transactions on GRIP, a parallel graph reducer G Akerholt, K Hammond, P Trinder, SL Peyton Jones, Simon Peyton Jones Proc Parallel Architectures and Languages Europe (PARLE), Munich | 1993
论文与出版物 Mike: A Distributed Object-Oriented Programming Platfrom on top of the Mach Micro-kernal Miguel Castro, Nuno Neves, Pedro Trancoso, Pedro Sousa USENIX Mach Conference (MACHNIX’93) | April 1993