Specification and Refinement of a Message Router

Technical Report UMCIS{1994{05

H. Conrad Cunningham

cunningham@cs.olemiss.edu

Yinxiu Cai

Software Methods Research Group

Department of Computer and Information Science

University of Mississippi

302 Weir Hall

University, Mississippi 38677 USA

September 1993

Also appears in the

Proceedings of the Seventh International Workshop

on Software Specification and Design (IWSSD-7),

IEEE, December 1993.