Relating state-based and process-based concurrency through linear logic (full-version) (Q731895)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relating state-based and process-based concurrency through linear logic (full-version) |
scientific article |
Statements
Relating state-based and process-based concurrency through linear logic (full-version) (English)
0 references
9 October 2009
0 references
linear logic
0 references
concurrency
0 references
multiset rewriting
0 references
process algebra
0 references
security protocols
0 references
