Showing 1 - 3 results of 3 for search 'Rehof, J', query time: 0.02s
Refine Results
-
1
Stuck−Free Conformance by Fournet, C, Hoare, C, Rajamani, S, Rehof, J
Published 2004Conference item -
2
Equating Simulation with Refinement by He, J, Hoare, T, Fournet, C, Gardiner, P, Rajamani, S, Rehof, J, Roscoe, B
Published 2003Record -
3
Bisimulation and refinement reconciled by Roscoe, A, Hoare, C, Fournet, C, Gardiner, P, Milner, R, S.Rajamani, Rehof, J
Published 2003Report