ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Distributed computing software project
Full text PdfPdf (155 KB)
Source ACM SIGOPS European Workshop archive
Proceedings of the 2nd workshop on Making distributed systems work table of contents
Amsterdam, Netherlands
Pages: 1 - 3  
Year of Publication: 1986
Authors
Roger Gimson  Oxford University Computing Laboratory, Oxford, England
Jonathan Bowen  Oxford University Computing Laboratory, Oxford, England
Tim Gleeson  Oxford University Computing Laboratory, Oxford, England
Sponsor
SIGOPS: ACM Special Interest Group on Operating Systems
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 4,   Downloads (12 Months): 8,   Citation Count: 0
Additional Information:

abstract   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/503956.503978
What is a DOI?

ABSTRACT

The Distributed Computing Software project at Oxford University is using formal specification techniques to explore the design of services in a distributed operating system. Our goal is to construct and publish the specification of a loosely-coupled distributed operating system consisting of a number of autonomous services. Some design principles have been proposed from consideration of conventional business practice. Several services have already been designed and implemented according to these principles.

Collaborative Colleagues:
Roger Gimson: colleagues
Jonathan Bowen: colleagues
Tim Gleeson: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player