Travelled to:1 × Germany
1 × Switzerland
1 × United Kingdom
Collaborated with:G.Roman G.P.Picco J.Y.Plun K.Bhargavan S.Chandra C.A.Gunter
Talks about:mobil (3) transient (1) interact (1) automata (1) pairwis (1) network (1) monitor (1) express (1) reason (1) packet (1)
Person: Peter J. McCann
DBLP: McCann:Peter_J=
Contributed to:
2001
1997
1996Wrote 3 papers:
- POPL-2001-BhargavanCMG #automaton #monitoring #network #what
- What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.
- ESEC-FSE-1997-PiccoRM #mobile
- Expressing Code Mobility in Mobile UNITY (GPP, GCR, PJM), pp. 500–518.
- ICSE-1996-RomanMP #interactive #mobile #reasoning
- Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing (GCR, PJM, JYP), pp. 155–164.