E-mail: jaana.eloranta@cs.helsinki.fi
Interests: specification languages, modelling concurrency
Publications: [124-126]
Personal home page: http://www.cs.helsinki.fi/~eloranta/
