Travelled to:1 × Finland
1 × United Kingdom
Collaborated with:K.Crary R.Harper F.Pfenning
Talks about:distribut (2) modal (2) calculus (1) symmetr (1) control (1) classic (1) comput (1) logic (1) flow (1)
Person: Tom Murphy VII
DBLP: VII:Tom_Murphy
Contributed to:
2005
2004Wrote 2 papers:
- CSL-2005-VIICH #control flow #distributed #logic
- Distributed Control Flow with Classical Modal Logic (TMV, KC, RH), pp. 51–69.
- LICS-2004-VIICHP #distributed #symmetry #λ-calculus
- A Symmetric Modal λ Calculus for Distributed Computing (TMV, KC, RH, FP), pp. 286–295.