Distributed Computing Software Project JBth A p r i ] /SEG [Position Paper l'or Workshop "Making Distributed Systems Work", Amsterdam, September The Distributed Computin9 S o f t . a r e p r o j e c t at Ox(ord University is usin9 forma. / specification techniques to e x p l o r e the design ~f services in a d i s t r i b u t e d ¢peratin9 system. Our 9oa] is to construct end p u b l i s h the specification ~r a / o o s e J y -c o u p ] a d d i s t r i b u t e d operatin9 system consistin9 ~e a number o