The Camelot project
暂无分享,去创建一个
Alfred Z. Spector | Jeffrey L. Eppinger | Joshua J. Bloch | Dean S. Thompson | Dan Duchamp | Dean S. Daniels | Richard P. Draves | Sherri G. Menees
[1] Barbara Liskov,et al. Guardians and actions: linguistic support for robust, distributed programs , 1982, POPL '82.
[2] Yves Métivier,et al. Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System , 1988, ICALP.
[3] Alfred Z. Spector,et al. Distributed logging for transaction processing , 1987, SIGMOD '87.
[4] Michael B. Jones,et al. Matchmaker: an interface specification language for distributed processing , 1985, POPL.
[5] Maurice Herlihy,et al. Avalon : language support for reliable distributed systems , 1986 .
[6] Alfred Z. Spector,et al. Transactions: a construct for reliable distributed computing , 1983, OPSR.
[7] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[8] Jim Gray,et al. A Transaction Model , 1980, ICALP.
[9] Laura M. Haas,et al. Computation and communication in R*: a distributed database manager , 1984, TOCS.
[10] Alfred Z. Spector,et al. Distributed transactions for reliable systems , 1985, SOSP 1985.
[11] William J. Bolosky,et al. Mach: A New Kernel Foundation for UNIX Development , 1986, USENIX Summer.
[12] J. Postel. Internetwork Protocol Approaches , 1980 .
[13] Maurice Herlihy. Atomicity vs. availability : concurrency control for replicated data , 1985 .
[14] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[15] Peter Martin Schwarz. Transactions on typed objects , 1984 .