Towards an Algebraic Theory of Typed Mobile Processes.

Yuxin Deng, Davide Sangiorgi

Browse the full ICALP paper archive.