Bozzano, M ; Delzanno, G ; Martelli, M :Model Checking Linear Logic Specifications" Under consideration (Sept 2003) for publication in "Theory and Practice of Logic Programming"

Languages mentioned

• LO {1990} Linear Objects