Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi. Abstract Interpretation of Concurrent Languages based on Linear Logic. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 267-284, 1993.
@inproceedings{AndreoliCP93:0,
title = {Abstract Interpretation of Concurrent Languages based on Linear Logic},
author = {Jean-Marc Andreoli and Tiziana Castagnetti and Remo Pareschi},
year = {1993},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/AndreoliCP93%3A0},
cites = {0},
citedby = {0},
pages = {267-284},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}