|
Search the dblp DataBase
James G. Mitchell:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- James G. Mitchell, Jeremy Dion
A Comparison of Two Network-Based File Servers. [Citation Graph (6, 0)][DBLP] Commun. ACM, 1982, v:25, n:4, pp:233-245 [Journal]
- Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
Proof Rules for the Programming Language Euclid. [Citation Graph (2, 0)][DBLP] Acta Inf., 1978, v:10, n:, pp:1-26 [Journal]
- Roger M. Needham, A. J. Herbert, James G. Mitchell
How to Connect Stable Memory to a Computer. [Citation Graph (2, 0)][DBLP] Operating Systems Review, 1983, v:17, n:1, pp:16- [Journal]
- James G. Mitchell, Jonathan Gibbons, Graham Hamilton, Peter B. Kessler, Yousef Y. A. Khalidi, Panos Kougiouris, Peter Madany, Michael N. Nelson, Michael L. Powell, Sanjay R. Radia
An Overview of the Spring System. [Citation Graph (1, 0)][DBLP] COMPCON, 1994, pp:122-131 [Conf]
- James G. Mitchell, Jeremy Dion
A Comparison of Two Network-Based File Servers. [Citation Graph (1, 0)][DBLP] SOSP, 1981, pp:45-46 [Conf]
- James G. Mitchell
File Servers. [Citation Graph (0, 0)][DBLP] Advanced Course: Local Area Networks, 1983, pp:221-259 [Conf]
- Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
Notes on the Design of Euclid. [Citation Graph (0, 0)][DBLP] Language Design for Reliable Software, 1977, pp:11-18 [Conf]
- James G. Mitchell
JavaOS: Back to the Future (Abstract). [Citation Graph (0, 0)][DBLP] OSDI, 1996, pp:1- [Conf]
- Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
Proof Rules for the Programming Language Euclid. [Citation Graph (0, 0)][DBLP] Program Construction, 1978, pp:133-163 [Conf]
- Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite
On the transfer of control between contexts. [Citation Graph (0, 0)][DBLP] Symposium on Programming, 1974, pp:181-203 [Conf]
- Graham Hamilton, Michael L. Powell, James G. Mitchell
Subcontract: A Flexible Base for Distributed Programming. [Citation Graph (0, 0)][DBLP] SOSP, 1993, pp:69-79 [Conf]
- Charles M. Geschke, James G. Mitchell
On the Problem of Uniform References to Data Structures. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1975, v:1, n:2, pp:207-219 [Journal]
Search in 0.003secs, Finished in 0.004secs
|