1 citations · 2 across the 6 of their papers we have counts for
6 papers
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…
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…
Parametrized Fixed Points on O-Categories and Applications to Session Types
Ryan Kavanagh
O-categories generalize categories of domains to provide just the structure required to compute fixed points of locally continuous functors. Parametrized fixed points are of partic…
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…
A Denotational Semantics for SPARC TSO
Ryan Kavanagh, Stephen Brookes
The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult. Our denotational approach uses…
On Coupled Logical Bisimulation for the Lambda-Calculus
Ryan Kavanagh, Jean-Marie Madiot
We study coupled logical bisimulation (CLB) to reason about contextual equivalence in the lambda-calculus. CLB originates in a work by Dal Lago, Sangiorgi and Alberti, as a tool to…