Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Wiring the Pi-calculus to Denotational Semantics
Ken Sakayori, Davide Sangiorgi, Simon Castellan +1
We introduce a dialect of the Asynchronous pi-calculus, called AWpi, in which (1) an input name may be owned, at any time, by at most one process; (2) each name has either only the…
cs.LO2024
The Qualitative Collapse of Concurrent Games
Pierre Clairambault
In this paper, we construct an interpretation-preserving functor from a category of concurrent games to the category of Scott domains and Scott-continuous functions. We give a conc…