Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
ICLP, 2014.
@article{ICLP-J-2014-CruzRGP,
author = "Flávio Cruz and Ricardo Rocha and Seth Copen Goldstein and Frank Pfenning",
doi = "10.1017/S1471068414000167",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "493--507",
title = "{A Linear Logic Programming Language for Concurrent Programming over Graph Structures}",
volume = 14,
year = 2014,
}











