Pages that link to "Item:Q2852348"
From MaRDI portal
The following pages link to A concurrent model for linear logic (Q2852348):
Displaying 10 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q4251120) (← links)
- (Q5015209) (← links)
- (Q5875401) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)