Tekniikan lisensiaatti Johan Lilius... - Ihmiset | HS.fi

Tekniikan lisensiaatti Johan Lilius...

15.3.1995 2:00

Tekniikan lisensiaatti Johan Lilius väittelee torstaina Teknillisessä korkeakoulussa. Tietotekniikan alaan kuuluvan väitöskirjan nimi on "On the Structure of High-level Nets".

Tutkimuksessa tarkastellaan rinnakkaisten ja hajautettujen järjestelmien määrittelyyn käytettävien ns. korkean-tason Petri-verkko formalismien matemaattisia ja loogisia ominaisuuksia.

Luitko jo nämä?