This work is an attempt to apply Gurevich Abstract State Machines methodology to the veriication of reenements of real-time distributed asynchronous algorithms. If to deene the reenement following the semantical framework of observability, that seems to be reasonable, the reenement of timed programs is not a simple replacement of a part of a program by its detalization. As an example to illustr...

Ethanol is widely used in herbal medicines, e.g., for children. Furthermore, alcohol is a constituent of fermented food such as bread or yogurt and "non-fermented" food such as fruit juices. At the same time, exposure to very low levels of ethanol in children is discussed as possibly having adverse effects on psychomotoric functions. Here, we have analyzed alcohol levels in different food produ...

Nature of the Industry Workers in the food manufacturing industry link farmers and other agricultural producers with consumers. They do this by processing raw fruits, vegetables, grains, meats, and dairy products into finished goods ready for the grocer or wholesaler to sell to households, restaurants, or institutional food services. Food manufacturing workers perform tasks as varied as the man...