Towards Mobile Processes in Unifying Theories.

Xinbei Tang, Jim Woodcock

Browse the full SEFM paper archive.