Lorenzo Gheri
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Hybrid Multiparty Session Types: Compositionality for Protocol Specification th... | OOPSLA 2023 | 2023-10-23 |
Claims a semantics-preserving method to compose separately-designed subprotocols into a single well-formed global MPST, introduces hybrid types that mix global… | ||
| The Concurrent Calculi Formalisation Benchmark | ST30 2023 | 2023-10-22 |
A new benchmark collection targets machine-checking of message-passing concurrency by giving three concrete problems: mechanize session-type subject reduction… | ||
| Multicompatibility for Multiparty-Session Composition | PPDP 2023 | 2023-10-22 |
Defines a conservative, flexible method to compose many concurrent systems at once by treating chosen participants as forwarder gateways and encoding… | ||
| nothing matches | ||