A Truly Concurrent Game Model of the Asynchronous \pi -Calculus.

Ken Sakayori, Takeshi Tsukada

Browse the full FOSSACS paper archive.