David Sinclair James F. Power J. Paul Gibson David Gray Geoff Hamilton Specifying and Verifying IP with Linear Logic. E104-E110 2000 conf/icdcsw/2000 ICDCS Workshop on Distributed System Validation and Verification db/conf/icdcsw/icdcsw2000.html#SinclairPGGH00