%T A formal top\-down developement method for occam programs
%A  Donal Roantree,  Maurice Clint
%E  Hussein S. M. Zedan
%B OUG\-13: Real\-Time Systems with Transputers
%X This paper describes a formal development method for
   mathematical applications in occam. Refinement rules form
   the basis of the method. A traces model is defined and used
   to give a formal semantics to occam. The rules are proved
   sound with respect to this semantics.