b) Computer Software

• Modelling of Concurrency (MOCO)
• Open Distributed Processing (DRYAD)
• Mobile Computing (MOWGLI)
• Service Machine Development for an Open Long-term Mobile and Fixed Network Environment (DOLMEN)
• Real-Time Object-Based Database Architecture for Intelligent Networks (RODAIN)
• Integrated Protocol Engineering
• Computer-Aided Software Maintenance
• Individual Research
  • Language Design and Implementation for Multiple Paradigms (Ph.Lic. Juha Vihavainen):
  • Logic Programming (Assoc. prof. Jukka Paakki)