Hugh McEvoy, Pieter H. Hartel
Local Linear Logic for Locality Consciousness in Multiset Transformation
PPDP, 1995.
@inproceedings{PLILP-1995-McEvoyH, author = "Hugh McEvoy and Pieter H. Hartel", booktitle = "{Proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs}", doi = "10.1007/BFb0026830", isbn = "3-540-60359-X", pages = "357--379", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Local Linear Logic for Locality Consciousness in Multiset Transformation}", volume = 982, year = 1995, }