Lolliproc
From MaRDI portal
Software:34415
No author found.
Related Items (4)
Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Proceedings of the 15th ACM SIGPLAN international conference on Functional programming ⋮ Proof-Carrying Code in a Session-Typed Process Calculus
This page was built for software: Lolliproc
