Publications 2002
Den02b
Denker, G.
Towards Security in DAML.
Internal Report, SRI International, Menlo Park, CA 94025, 2002.
(PostScript)
DenMil02
Denker, G. and Millen, J.
Design and Implementation of Multicast CAPSL and Its Intermediate Language.
Computer Science Laboratory Technical Report SRI-CSL-02-09, SRI International, Menlo Park, CA 94025, December 2002.
(PostScript,
PDF)