Arvutid II teooria eksam
valitud punktini efektiivsed
arvutusmudelil: 38 Ei sobi hajusrakendustele
· Peavad olema efektiivsed · Spetsifitseerida saab ainult valitud süsteeme Kontrolli-põhine sünkroniseerimine Ei ole programmilisi konstruktsioone
Loodud mingi spetsiifilise ülesande jaoks. · Formaalne analüüs on võimalik Andmete põhine sünkroniseerimine Ei võimalda kirjeldada mitte-funktsionaalset