"Static Analysis of Interaction Nets for Distributed Implementations."

Ian Mackie (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics