Static Analysis of Interaction Nets for Distributed Implementations

Ian Mackie. Static Analysis of Interaction Nets for Distributed Implementations. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 217-231, Springer, 1997.

Abstract

Abstract is missing.