Travelled to:
1 × USA
Collaborated with:
N.D.Jones
Talks about:
transit (1) system (1) distil (1) label (1)
Person: Geoffrey William Hamilton
DBLP: Hamilton:Geoffrey_William
Contributed to:
Wrote 1 papers:
- PEPM-2012-HamiltonJ #lts
- Distillation with labelled transition systems (GWH, NDJ), pp. 15–24.