Lolliproc

swMATH22624MaRDI QIDQ34415FDOQ34415

Author name not available (Why is that?)

Described by source

• Lolliproc

Cited In (4)

• Proof-Carrying Code in a Session-Typed Process Calculus
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• Linear logical relations and observational equivalences for session-based concurrency
• Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less)

This page was built for software: Lolliproc