Ian Mackie
Static Analysis of Interaction Nets for Distributed Implementations
SAS, 1997.
@inproceedings{SAS-1997-Mackie, author = "Ian Mackie", booktitle = "{Proceedings of the Fourth International Static Analysis Symposium}", doi = "10.1007/BFb0032744", isbn = "3-540-63468-1", pages = "217--231", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Static Analysis of Interaction Nets for Distributed Implementations}", volume = 1302, year = 1997, }