A. Gordon

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Anytime, Anywhere: Modal Logics for Mobile Ambients
L. Cardelli and others (2000) · POPL’00
Experience with embedding hardware description languages in HOL
R. Boulton and others (1992) · Theorem Provers in Circuit Design · North-Holland