SDL

occam

system, blokk, prosess

innrykk - SEQ/PAR

Prosesser har navn

Prosesser har ikke navn (alt er prosesser)

Kanal, Signalrute, Signal

CHAN, enveis, punkt-til-punkt

Asynkron/bufret

Synkron/ubufret = blokkerende

Prosesser kan skapes i run-time

Alle prosesser må være kjent av kompilator, men startes/stoppes dynamisk i run-time

Tilstand: i ventende ro

Bekrepet koker ut av synkron kommunikasjon og ALT med betingelser

Betingelses-signaler

ALT + inngangs - betingelser

Kø/bevaring

Kombinasjoner av ALT, PRI ALT og inngangs - betingelser

Timere

TIMER, AFTER, PLUS, MINUS
også i kombinasjon med innganger

Hva skal jeg med SDL...

når jeg har occam?