Peter J. McCann

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
c7		Peter J. McCann: Design of a flat wireless Internet Service Provider network. WPMC 2011: 1-5
	2006
j7		Frank M. Alfano, Peter J. McCann, Thomas T. Towle: IMS service-based bearer control. Bell Labs Technical Journal 10(4): 151-166 (2006)
	2004
j6		Peter J. McCann, Robert Rance, Sarvar Patel: Secure and efficient voice-over-IP in a cdma2000® Network. European Transactions on Telecommunications 15(4): 404-414 (2004)
	2002
j5		Gruia-Catalin Roman, Peter J. McCann: A Notation and Logic for Mobile Computing. Formal Methods in System Design 20(1): 47-68 (2002)
	2001
j4		Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann: Reasoning about code mobility with mobile UNITY. ACM Trans. Softw. Eng. Methodol. 10(3): 338-395 (2001)
c6		Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
	2000
c5		Peter J. McCann, Satish Chandra: Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333
	1999
j3		Peter J. McCann, Gruia-Catalin Roman: Modeling Mobile IP in Mobile UNITY. ACM Trans. Softw. Eng. Methodol. 8(2): 115-146 (1999)
	1998
j2		Peter J. McCann, Gruia-Catalin Roman: Compositional Programming Abstractions for Mobile Computing. IEEE Trans. Software Eng. 24(2): 97-110 (1998)
c4		Gruia-Catalin Roman, Peter J. McCann: An Introduction to Mobile UNITY. IPPS/SPDP Workshops 1998: 871-880
	1997
j1		Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. Softw. Eng. Methodol. 6(3): 250-282 (1997)
c3		Peter J. McCann, Gruia-Catalin Roman: Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. COORDINATION 1997: 338-354
c2		Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann: Expressing Code Mobility in Mobile UNITY. ESEC / SIGSOFT FSE 1997: 500-518
	1996
c1		Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164

Coauthor Index

1	Frank M. Alfano	[j7]
2	Karthikeyan Bhargavan	[c6]
3	Satish Chandra	[c6] [c5]
4	Carl A. Gunter	[c6]
5	Sarvar Patel	[j6]
6	Gian Pietro Picco	[j4] [c2]
7	Jerome Y. Plun	[j1] [c1]
8	Robert Rance	[j6]
9	Gruia-Catalin Roman	[j5] [j4] [j3] [j2] [c4] [j1] [c3] [c2] [c1]
10	Thomas T. Towle	[j7]

Colors in the list of coauthors

Last update Sat May 18 14:42:28 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page