Contributions offered by Andy Gordon for topics 
D (verification methods)

I can give a talk on recent work on semantics and types for the
ambient calculus, a formalism for describing and programming mobile computation.

--------------------------------------------------------------
Result of feedback form submitted by
Gordon (adg@microsoft.com) on Monday, July 20, 1998 at 11:30:2