Linear Logics with Communication-merge (Q4673354)
From MaRDI portal
scientific article; zbMATH DE number 2162955
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear Logics with Communication-merge |
scientific article; zbMATH DE number 2162955 |
Statements
Linear Logics with Communication-merge (English)
0 references
29 April 2005
0 references
mingle
0 references
mix
0 references
concurrent computation
0 references
cut-elimination
0 references
modal intuitionistic linear logics
0 references
communication-merge rules
0 references
process algebra with communication-merge
0 references
