Prioritise the best variation (Q2117016)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Prioritise the best variation |
scientific article |
Statements
Prioritise the best variation (English)
0 references
Prioritise the Best Variation (English)
0 references
21 March 2022
0 references
16 January 2024
0 references
session types
0 references
\( \pi \)-calculus
0 references
functional programming
0 references
deadlock freedom
0 references
GV
0 references
CP
0 references
\(\pi\)-calculus
0 references
0 references
