Orderly communication in the Ambient Calculus

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen. Orderly communication in the Ambient Calculus. Computer Languages, Systems \& Structures, 28(1):29-60, 2002.

Authors

Torben Amtoft

This author has not been identified. Look up 'Torben Amtoft' in Google

A. J. Kfoury

This author has not been identified. Look up 'A. J. Kfoury' in Google

Santiago M. Pericás-Geertsen

This author has not been identified. Look up 'Santiago M. Pericás-Geertsen' in Google