Static Analysis of Interaction Nets for Distributed Implementations.

Ian Mackie

Browse the full SAS paper archive.