Monitor: Problemas Clássicos

Leitores/Escritores
FileAccess: Monitor; declare(true,false)bit; declare(#Reading)bit; declare(activeWriter)bit; declare(OkToRead,OkToWrite)condition; do true=1’b’; false=0’b’;#Reading=0; activeWriter=false; end;