E-mail: timo.karvi@cs.helsinki.fi
Interests: formal specification, process algebras, distributed computing
