Peter J. McCann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1996–2001
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | POPL | What packets may come: automata for network monitoring. | Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |
| 2000 | SIGCOMM | Packet Types: Abstract specifications of network protocol messages. | Peter J. McCann, Satish Chandra |
| 1997 | Coordination | Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. | Peter J. McCann, Gruia-Catalin Roman |
| 1996 | ICSE | Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |