research
∙
04/02/2021
Fairness and Observed Communication Semantics for Session-Typed Languages
Observed communication semantics provide an intuitive notion of equivale...
research
∙
08/31/2020
Substructural Observed Communication Semantics
Session-types specify communication protocols for communicating processe...
research
∙
06/15/2020
Parametrized Fixed Points on O-Categories and Applications to Session Types
O-categories generalize categories of domains to provide just the struct...
research
∙
02/05/2020
A Domain Semantics for Higher-Order Recursive Processes
The polarized SILL programming language uniformly integrates functional ...
research
∙
04/11/2018
A denotational account of C11-style memory
We introduce a denotational semantic framework for shared-memory concurr...
research
∙
11/02/2017