Specification of Internet Transmission Control Program. - Vint Cerf; Yogen K. Dalal; Carl A. Sunshine (RFC, 1974)

Factors in interprocess communication protocol efficiency for computer networks. - Carl A. Sunshine (AFIPS National Computer Conference, 1976)

Alternatives for Computer Network Interconnection. - Carl A. Sunshine (Berkeley Workshop, 1976)

Source routing in computer networks. - Carl A. Sunshine (Comput. Commun. Rev., 1977)

Interconnection of Computer Networks. - Carl A. Sunshine (Comput. Networks, 1977)

Efficiency of Interprocess Communication Protocols for Computer Networks. - Carl A. Sunshine (IEEE Trans. Commun., 1977)

Survey of protocol definition and verification techniques. - Carl A. Sunshine (Comput. Commun. Rev., 1978)

Connection Management in Transport Protocols. - Carl A. Sunshine; Yogen K. Dalal (Comput. Networks, 1978)

Alternatives for interconnection of public packet switching data networks. - Vic DiCiccio; Carl A. Sunshine; James A. Field; Eric G. Manning (SIGCOMM, 1979)

Issues in International Public Data Networking. - Gary R. Grossman; Andrew J. Hinchley; Carl A. Sunshine (Comput. Networks, 1979)

Formal Techniques for Protocol Specification and Verification. - Carl A. Sunshine (Computer, 1979)

Formal Methods in Communication Protocol Design. - Gregor v. Bochmann; Carl A. Sunshine (IEEE Trans. Commun., 1980)

Formal Modeling of Communication Protocols - State of the Art. - Carl A. Sunshine (Kommunikation in Verteilten Systemen, 1981)

The ARPA Internet Protocol. - Jonathan B. Postel; Carl A. Sunshine; Danny Cohen (Comput. Networks, 1981)

Network Structures for Distributed Situation Assessment. - Robert B. Wesson; Frederick Hayes-Roth; John Burge; Cathleen Stasz; Carl A. Sunshine (IEEE Trans. Syst. Man Cybern., 1981)

Experience with Four Automated Verification Systems. - Carl A. Sunshine (PSTV, 1982)

Protocol Specification, Testing and Verification - Guest Editorial. - Carl A. Sunshine (Comput. Networks, 1982)

Guest Editorial: Protocol Specification, Testing, and Verification. - Carl A. Sunshine (IEEE Trans. Commun., 1982)

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. - Carl A. Sunshine; David H. Thompson; Roddy W. Erickson; Susan L. Gerhart; Daniel Schwabe 001 (IEEE Trans. Software Eng., 1982)

Experience with automated Protocol Verification. - Carl A. Sunshine (Protocol Specification, Testing, and Verification, 1983)

Interconnection of broadband local area networks. - Carl A. Sunshine; D. Kaufman; Gregory Ennis; K. Biba (SIGCOMM, 1983)

Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". - Carl A. Sunshine; David H. Thompson; Roddy W. Erickson; Susan L. Gerhart; Daniel Schwabe 001 (IEEE Trans. Software Eng., 1983)

Broad-Band Personal Computer LAN's. - Carl A. Sunshine; Gregory Ennis (IEEE J. Sel. Areas Commun., 1985)

Network Interconnection and Gateways. - Carl A. Sunshine (IEEE J. Sel. Areas Commun., 1990)

A Platform for Heterogeneous Interconnection Network Management. - Unnikrishnan S. Warrier; Carl A. Sunshine (IEEE J. Sel. Areas Commun., 1990)

An Architecture Driven Comparison of Network Management Systems. - Kraig Meyer; Joseph Betser; Eric Negaard; Dennis Persinger; Steven Wang; Robert Maltese; Carl A. Sunshine (Integrated Network Management, 1993)

Decentralizing control and intelligence in network management. - Kraig Meyer; Michael Erlinger; Joseph Betser; Carl A. Sunshine; Germán S. Goldszmidt; Yechiam Yemini (Integrated Network Management, 1995)

Protected MILSATCOM Design for Affordability Risk Reduction (DFARR). - Matthew Glaser; Kelly Greiner; Bryan Hilburn; Jacob Justus; Christopher Walsh; William Dallas; Joseph Vanderpoorten; Jo-Chieh Chuang; Carl A. Sunshine (MILCOM, 2013)