Output Without Delay: A π-Calculus Compatible with Categorical Semantics.

Ken Sakayori, Takeshi Tsukada

Browse the full FSCD paper archive.