4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.LO2026★ 4 cited
Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
Guilhem Jaber, Guilheme Jaber, Davide Sangiorgi
We establish a tight connection between two models of the -calculus, namely Milner's encoding into the -calculus (precisely, the Internal -calculus), and operational game…
cs.LO2025
Extensional and Non-extensional Functions as Processes
Ken Sakayori, Davide Sangiorgi
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure -calculus, the process representations yield (at be…