A Refinement Calculus for Communicating Processes with State - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luming Lai, Jeff W. Sanders. A Refinement Calculus for Communicating Processes with State. In Henry McGloughlin, Gerard O Regan, editors, 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing, BCS, 1997.

This author has not been identified. Look up 'Luming Lai' in GoogleThis author has not been identified. Look up 'Jeff W. Sanders' in Google

runs on WebDSL