Skip to main content

Bisimulation and refinement reconciled

A. W. Roscoe‚ C.A.R. Hoare‚ C. Fournet‚ P.H.B. Gardiner‚ R. Milner‚ S.Rajamani and J. Rehof

Institution
Microsoft
Year
2003