Distributed computing software project
Roger Gimson, Jonathan P. Bowen, Tim J. Gleeson · 1986
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.