A Linear Logic Programming Language for Concurrent Programming over Graph Structures
| Title | A Linear Logic Programming Language for Concurrent Programming over Graph Structures |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Flávio Cruz and Ricardo Rocha and Seth C. Goldstein and Frank Pfenning |
| Journal | Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue) |
| Alternate Journal | TPLP |
| Volume | 14 |
| Pages | 493–507 |
| Issue | 4–5 |
| Month of Publish | July |
| Notes | Best Paper Award |
| DOI | 10.1017/S1471068414000167 |