Static Analysis of a Parallel Logic Language Based on the Blackboard Model. - Tiziana Castagnetti; Paolo Ciancarini (J. Parallel Distributed Comput., 1991)

Abstract Interpretation of Concurrent Languages based on Linear Logic. - Jean-Marc Andreoli; Tiziana Castagnetti; Remo Pareschi (GULP, 1993)

Abstract Interpretation of Linear Logic Programming. - Jean-Marc Andreoli; Tiziana Castagnetti; Remo Pareschi (ILPS, 1993)

Static Analysis of Linear Logic Programming. - Jean-Marc Andreoli; Remo Pareschi; Tiziana Castagnetti (New Gener. Comput., 1997)