ISI Technical Reports

This section contains all Technical Reports published by ISI over the past several decades. The search box below enables searches by report titles, authors and report numbers. Technical Reports written by ISI researchers, but not published by ISI, may be available through the author’s individual website.

To be assigned a technical report number, please contact Computing Information Services.

Journal articles and other publications can be found here.

Algebraic Specification of Communication Protocols
B. and B.
RR-81-98
December, 1981

QPRIM System: Tool Builders' Manual
G. and L.
ISI/WP-20
October, 1981

Transformational Implementation: An Example
RR-79-79
May, 1981

A Network Voice Protocol NVP-IICohen, D., Casner, S., and Forgie, J.W.
RR-81-90
April, 1981

Formal Specification and Verification of a Connection-Establishment Protocol
S. and D.
RR-81-91
April, 1981

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
T. , W. , E. , R. , G. , and S.
RR-81-88
March, 1981

Formal Modeling of Communication Protocols
S. and C.
RR-81-89
March, 1981

1980 Annual Technical Report Volume 1I. S. I. Staff
SR-81-19
January, 1981

1980 Annual Technical Report Volume 2 December 1979 - September 1980I. S. I. Staff
SR-81-20
January, 1981

Distributed Interpretation: A Model and Experiment
L. , V. , E. , and L.
RR-79-76
December, 1980