Publications 1999
DenMesTal99
Denker, G., Meseguer, J., and Talcott, C.
Rewriting Semantics of Meta-Objects and
Composable Distributed Services.
Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.
(PostScript)
DGM+99
Denker, G., Garcia-Luna-Aveces, J.J., Meseguer, J., Csaba \"Olveczky,
P., Raju, Y., Smith, B., and Talcott, C.
Specifying a Reliable Broadcasting
Protocol in Maude.
Internal Report, Computer Science Laboratory, SRI International, Menlo
Park, CA, 1999. Report version of DGM+99b.
DenMil99a
Denker, G., Millen, J.
CAPSL and CIL Language Design:
A Common Authentication Protocol Specification Language and Its Intermediate
Language.
CSL Report, SRI-CSL-99-02, Computer Science Laboratory, SRI International, Menlo Park, CA, February 1999.
(PostScript)
DenMil99b
Denker, G., Millen, J.
CAPSL Intermediate Language.
In Heintze, N. and Clarke, E., editors, Workshop on Formal Methods
and Security Protocols (FMSP99), Trento, Italy,
July, 1999.
(PostScript)
DGM+99b
Denker, G., Garcia-Luna-Aveces, J.J., Meseguer, J., Csaba \"Olveczky,
P., Raju, Y., Smith, B., and Talcott, C.
Specification and Analysis of a
Reliable Broadcasting Protocol in Maude.
In Hajek, B. and Sreenivas, R. S., editors, 37th Annual Allerton
Conference on Communication, Control, and Computation,
, University of
Illinois, USA, September 22-24, 1999.
DenMil99c
Denker, G. and Millen, J.
CAPSL Integrated Protocol Environment.
Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.
(PostScript)
DenMesTal99b
Denker, G., Meseguer, J., and Talcott, C.
Formal Specification and Analysis of Active Networks and
Communication Protocols: The Maude Experience.
Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.
(PostScript)