Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. - Gruia-Catalin Roman; Peter J. McCann; Jerome Y. Plun (ICSE, 1996)

Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. - Peter J. McCann; Gruia-Catalin Roman (COORDINATION, 1997)

Expressing Code Mobility in Mobile UNITY. - Gian Pietro Picco; Gruia-Catalin Roman; Peter J. McCann (ESEC / SIGSOFT FSE, 1997)

Mobile UNITY: Reasoning and Specification in Mobile Computing. - Gruia-Catalin Roman; Peter J. McCann; Jerome Y. Plun (ACM Trans. Softw. Eng. Methodol., 1997)

An Introduction to Mobile UNITY. - Gruia-Catalin Roman; Peter J. McCann (IPPS/SPDP Workshops, 1998)

Wireless voice-over-IP and implications for third-generation network design. - Jin Wang; Peter J. McCann; Patvardhana B. Gorrepati; Chung-Zin Liu (Bell Labs Tech. J., 1998)

Compositional Programming Abstractions for Mobile Computing. - Peter J. McCann; Gruia-Catalin Roman (IEEE Trans. Software Eng., 1998)

Modeling Mobile IP in Mobile UNITY. - Peter J. McCann; Gruia-Catalin Roman (ACM Trans. Softw. Eng. Methodol., 1999)

Packet Types: Abstract specifications of network protocol messages. - Peter J. McCann; Satish Chandra 001 (SIGCOMM, 2000)

An Internet infrastructure for cellular CDMA networks using mobile IP. - Peter J. McCann; Tom Hiller (IEEE Wirel. Commun., 2000)

Criteria for Evaluating AAA Protocols for Network Access. - Bernard Aboba; Pat R. Calhoun; Steven M. Glass; Tom Hiller; Peter J. McCann; Hajime Shiino; Pat Walsh; Glen Zorn; Gopal Dommety; Charles E. Perkins; Basavaraj Patil; David Mitton; et al. (RFC, 2000)

What packets may come: automata for network monitoring. - Karthikeyan Bhargavan; Satish Chandra 001; Peter J. McCann; Carl A. Gunter (POPL, 2001)

Reasoning about code mobility with mobile UNITY. - Gian Pietro Picco; Gruia-Catalin Roman; Peter J. McCann (ACM Trans. Softw. Eng. Methodol., 2001)

CDMA2000 Wireless Data Requirements for AAA. - Tom Hiller; Pat Walsh; Xing Chen; Mark Munson; Gopal Dommety; Sanjeevan Sivalingham; Byung-Keun Lim; Peter J. McCann; Hajime Shiino; Brent Hirschman; Serge Manning; Raymond T. Hsu; et al. (RFC, 2001)

A Notation and Logic for Mobile Computing. - Gruia-Catalin Roman; Peter J. McCann (Formal Methods Syst. Des., 2002)

Secure and efficient voice-over-IP in a cdma2000® Network. - Peter J. McCann; Robert Rance; Sarvar Patel (Eur. Trans. Telecommun., 2004)

Diameter Mobile IPv4 Application. - Pat R. Calhoun; Tony Johansson; Charles E. Perkins; Tom Hiller; Peter J. McCann (RFC, 2005)

Mobile IPv6 Fast Handovers for 802.11 Networks. - Peter J. McCann (RFC, 2005)

IMS service-based bearer control. - Frank M. Alfano; Peter J. McCann; Thomas T. Towle (Bell Labs Tech. J., 2006)

Diameter Quality-of-Service Application. - Dong Sun 002; Peter J. McCann; Hannes Tschofenig; Tina Tsou; Avri Doria; Glen Zorn (RFC, 2010)

Design of a flat wireless Internet Service Provider network. - Peter J. McCann (WPMC, 2011)

Protocol to Access White-Space (PAWS) Databases. - Vincent Chen; Subir Das; Lei Zhu; John Malyar; Peter J. McCann (RFC, 2015)