The following pages link to Lolliproc (Q34415):
Displayed 4 items.
- 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)
- Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Q5746362) (← links)