Andrew Wilkinson Alan Wood Isomorphic Types for Open Coordination Systems. 404-408 2005 conf/pdcs/2005 IASTED PDCS db/conf/pdcs/pdcs2005.html#WilkinsonW05