Io-7-wyk-Slajd20

Plan wykładu

Plan wykładu jest następujący. Najpierw omówimy specyfikacje aksjomatyczne.

Potem przedstawię związane z nimi tzw. implementacje niestandardowe. Jest to dość ciekawe zjawisko o charakterze anomalii, z którego trzeba sobie zdawać sprawę.

Ostatnią część wykładu chciałbym poświęcić sieciom Petriego, bardzo ciekawej metodzie specyfikowania programów i systemów współbieżnych.

<< Poprzedni slajd | Spis treści | Następny slajd >>