dblp.uni-trier.dewww.uni-trier.de

Peter J. McCann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
12EEFrank M. Alfano, Peter J. McCann, Thomas T. Towle: IMS service-based bearer control. Bell Labs Technical Journal 10(4): 151-166 (2006)
2002
11 Gruia-Catalin Roman, Peter J. McCann: A Notation and Logic for Mobile Computing. Formal Methods in System Design 20(1): 47-68 (2002)
2001
10EEKarthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
9EEGian 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)
2000
8EEPeter J. McCann, Satish Chandra: Packet Types: Abstract specifications of network protocol messages. SIGCOMM 2000: 321-333
1999
7EEPeter J. McCann, Gruia-Catalin Roman: Modeling Mobile IP in Mobile UNITY. ACM Trans. Softw. Eng. Methodol. 8(2): 115-146 (1999)
1998
6 Gruia-Catalin Roman, Peter J. McCann: An Introduction to Mobile UNITY. IPPS/SPDP Workshops 1998: 871-880
5EEPeter J. McCann, Gruia-Catalin Roman: Compositional Programming Abstractions for Mobile Computing. IEEE Trans. Software Eng. 24(2): 97-110 (1998)
1997
4 Peter J. McCann, Gruia-Catalin Roman: Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. COORDINATION 1997: 338-354
3EEGian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann: Expressing Code Mobility in Mobile UNITY. ESEC / SIGSOFT FSE 1997: 500-518
2EEGruia-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)
1996
1EEGruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164

Coauthor Index

1Frank M. Alfano [12]
2Karthikeyan Bhargavan [10]
3Satish Chandra [8] [10]
4Carl A. Gunter [10]
5Gian Pietro Picco [3] [9]
6Jerome Y. Plun [1] [2]
7Gruia-Catalin Roman [1] [2] [3] [4] [5] [6] [7] [9] [11]
8Thomas T. Towle [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)