A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning. A Linear Logic Programming Language for Concurrent Programming over Graph Structures. TPLP, 14(4-5):493-507, 2014. [doi]

Abstract

Abstract is missing.