Bisimulation and refinement reconciled
A. W. Roscoe‚ C.A.R. Hoare‚ C. Fournet‚ P.H.B. Gardiner‚ R. Milner‚ S.Rajamani and J. Rehof
Details
| Institution |
Microsoft |
| Year |
2003 |
Links
Related pages
|
People |
|
|
Activities |