1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Fairness and Communication-Based Semantics for Session-Typed Languages
Ryan Kavanagh
We give communication-based semantics and reasoning techniques for Polarized SILL, a rich session-typed programming language with general recursion. Its features include channel an…
cs.PL2020★ 1 cited
Substructural Observed Communication Semantics
Ryan Kavanagh
Session-types specify communication protocols for communicating processes, and session-typed languages are often specified using substructural operational semantics given by multis…
cs.PL2018
A denotational account of C11-style memory
Ryan Kavanagh, Stephen Brookes
We introduce a denotational semantic framework for shared-memory concurrent programs in a C11-style memory model. This denotational approach is an alternative to techniques based o…