A Linear Logic Programming Language for Concurrent Programming over Graph Structures (Q2931260)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Linear Logic Programming Language for Concurrent Programming over Graph Structures |
scientific article |
Statements
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (English)
0 references
25 November 2014
0 references
language design
0 references
semantics
0 references
linear logic
0 references
concurrent programming
0 references
graphs
0 references
