Visiting researcher at NICTA in Sydney, Australia

Visiting Ansgar Fehnker and Rob van Glabbeek at NICTA in Sydney, Australia, from October to December.