[so] vesti si mai bune

Cosmin Arad so@atlantis.cs.pub.ro
Sat, 22 Nov 2003 03:51:51 -0800 (PST)


Salut,

Desi sper ca putini dintre voi au avut dificultati in
a interpreta specificatiile formale pentru operatiile
cu monitorul, descrise prin axiomele din
buhr95monitor.pdf, am considerat ca e corect sa va dau
specificatiile in limbaj natural ca sa nu fie nici un
dubiu.
De asemenea din documentatie lipseau specificatiile
pentru broadcast si specificatiile de la SIGNAL AND
WAIT (cele din doc) se modifica putin prin
introducerea operatiei broadcast.
Am adaugat in sectiunea de Observatii a temei un link
catre specificatiile in limbaj natural.

Cititi-le si daca mai aveti nelamuriri intrebati.

Succes,
Cosmin

__________________________________
Do you Yahoo!?
Protect your identity with Yahoo! Mail AddressGuard
http://antispam.yahoo.com/whatsnewfree