The following pages link to Lolliproc (Q5176928):
Displayed 4 items.
- Lolliproc (Q34415) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)