Most of the work has been done while working at BRICS (Basic
Research In Computer Science,
Centre of the Danish National Research Foundation), Dept. of Computer
Science, University of Aarhus and visiting Dept. of Computer Science,
Queen Mary, University of London
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.