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