Specifying and Verifying IP with Linear Logic.

Published in: ICDCS Workshop on Distributed System Validation and Verification (2000)