A Categorical Model of an \mathbf i/o -typed \pi -calculus.

Ken Sakayori, Takeshi Tsukada

Browse the full ESOP paper archive.