In a meeting at Schloss Dagstuhl in June 1993, Uri Abraham and Menachem Magidor have challenged the thesis that an evolving algebra can be tailored to any algorithm at its own abstraction level. As example they gave an instructive proof which uses lower and higher views to show correctness of Lamport’s bakery algorithm. We construct two evolving algebras capturing lower and higher view respecti...

In a meeting at Schloss Dagstuhl in June 1993, Uri Abraham and Menachem Magidor have challenged the thesis that an evolving algebra can be tailored to any algorithm at its own abstraction level. As example they gave an instructive proof which uses lower and higher views to show correctness of Lamport's bakery algorithm. We construct two evolving algebras capturing lower and higher view respecti...

REPORTRAPPORT The bakery protocol: a comparative case-study in formal verification Abstract Groote and the second author veriied (a version of) the Bakery Protocol in CRL. Their process-algebraic veriication is rather complex compared to the protocol. Now the question is: How do other veriication techniques perform on this protocol? In this paper, we present a new correctness proof by using I/O...

Bakery products with various fruit fillings are very popular due to their fresh-fruity fragrance. Said fruit fillings, which are added to the pastries after the baking process, should have, besides the required sensory properties, also very good physicochemical characteristics regarding processing (dosing, pumping, injecting). Heat stable fruit fillings should only be used for filled pastries b...

We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The individual processes operate on unbounded local variables ranging over the natural numbers. In addition, processes may communicate via broadcast, rendez-vous and shared variables. We apply the algorithm to verify mutual exc...

Bread and especially wheat bread as the basic food of society is one indispensable sources human nutrition. Color browning (caramelization) occurring in bakery products a result heat treatment an important indicator Maillard reaction (MR). As types, francala bread, grissini, rusk traditional oven-dry were examined. Antioxidant substances MR crust have place preventing colon cancer for terms hea...

baker's asthma is one of the most common forms of occupational asthma. this study was conducted to determine prevalence of asthma and rhinitis among bakery workers in the city of sanandaj, the provincial center of kurdistan province in the west of iran in the in summer 2006. in this study 776 bread bakery workers were included. these subjects were selected randomly among 1620 bakery workers. th...

OBJECTIVES It was reported previously that topside oven workers with heavy exposure to coke oven emissions had increased serum activities of hepatic aminotransferase in one coke oven plant. This study was conducted to investigate the modifying effect of CYP1A1 MspI polymorphism on liver function profiles in coke oven workers. METHODS 88 coke oven workers from a large steel company in Taiwan w...

BACKGROUND The National Institute for Occupational Safety and Health conducted a study to determine prevalences of sensitization to bakery-associated antigens (BAAs) and work-related respiratory symptoms at a large commercial bakery. METHODS The following measurements were carried out: personal breathing zone (PBZ) and general area (GA) monitoring for inhalable flour dust, α-amylase and wheat...