Arvutid II teooria eksam
Nimetatud mudel määrab ära, milliseid süsteeme arvutusmudeleid Hierarhia sisse toomine StateCharts ohutuseks
saab selle Jagatud mälu (shared memory) (safeness)
keelega kirjeldada Sõnumite edastamine (message passing) Elus olemine (Liveness) Et vältida deadlock'e.
Arvutusmudel määrab ära keele väljendusvõime Blokeeriv Hinnang StateChart'ile Üleminek on
annaabi.ee 
