16 citations · 28 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 16 cited
Rusty Variation: Deadlock-free Sessions with Failure in Rust
Wen Kokke
Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respe…
cs.LO2019
Towards Races in Linear Logic
Wen Kokke, J. Garrett Morris, Philip Wadler
Process calculi based in logic, such as DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races. HCP is a reformulation…
cs.LO2019★ 2 cited
Taking Linear Logic Apart
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Process calculi based on logic, such as DILL and CP, provide a foundation for deadlock-free concurrent programming. However, in previous work, there is a mismatch between the ru…