Graceful degradation via versions: specifications and implementations
Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
Roy Levin
Emeritus Researcher
Publications
Publications by Year
-
A Perspective on Computing Research Management
Operating Systems Review | April 2007, Vol 41(2): pp. 3-9
-
A Technology Transfer Retrospective
Computer Systems: Theory, Technology, and Applications | July 2004
-
Synchronization Primitives for a Multiprocessor: a Formal Specification
Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin
Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987
A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
-
Grapevine: An exercise in distributed computing
Andrew Birrell, Roy Levin, Roger M. Needham, Mike Schroeder
Communications of the ACM | April 1982, Vol 25
Publications by Research Area
-
Synchronization Primitives for a Multiprocessor: a Formal Specification
Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin
Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987
A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
Grapevine: An exercise in distributed computing
Andrew Birrell, Roy Levin, Roger M. Needham, Mike Schroeder
Communications of the ACM | April 1982, Vol 25
Graceful degradation via versions: specifications and implementations
Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
-
A Perspective on Computing Research Management
Operating Systems Review | April 2007, Vol 41(2): pp. 3-9
-
A Technology Transfer Retrospective
Computer Systems: Theory, Technology, and Applications | July 2004
Publications by Type
-
Synchronization Primitives for a Multiprocessor: a Formal Specification
Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin
Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987
A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
Graceful degradation via versions: specifications and implementations
Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
A Technology Transfer Retrospective
Computer Systems: Theory, Technology, and Applications | July 2004
-
Grapevine: An exercise in distributed computing
Andrew Birrell, Roy Levin, Roger M. Needham, Mike Schroeder
Communications of the ACM | April 1982, Vol 25
A Perspective on Computing Research Management
Operating Systems Review | April 2007, Vol 41(2): pp. 3-9