Travelled to:1 × Finland
1 × United Kingdom
Collaborated with:U.S.Reddy
Talks about:parametr (1) automata (1) theoret (1) model (1) limit (1) ideal (1) algol (1)
Person: Brian P. Dunphy
DBLP: Dunphy:Brian_P=
Contributed to:
2012
2004Wrote 2 papers:
- ICALP-v2-2012-ReddyD #algol #formal method
- An Automata-Theoretic Model of Idealized Algol — (USR, BPD), pp. 337–350.
- LICS-2004-DunphyR #parametricity
- Parametric Limits (BPD, USR), pp. 242–251.