E-mail: roope.kaivola@cs.helsinki.fi
Interests: concurrency, temporal logic, process algebra, infinitary automata
Publications: [127-135]
