An intensionally fully-abstract sheaf model for $\pi$ (expanded version)

Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

Following previous work on CCS, we propose a compositional model for the $\pi$-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a conc…