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...

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...

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...

In this study, Halomonas boliviensis was cultivated on bakery waste hydrolysate and seawater in batch and fed-batch cultures for polyhydroxybutyrate (PHB) production. Results demonstrated that bakery waste hydrolysate and seawater could be efficiently utilized by Halomonas boliviensis while PHB contents between 10 and 30% (w/w) were obtained. Furthermore, three methods for bakery waste hydrolys...

A mutual exclusion algorithm is presented that has four desired properties: (1) it satisfies FIFO fairness, (2) it satisfies localspinning, (3) it is adaptive, and (4) it uses finite number of bounded size atomic registers. No previously published algorithm satisfies all these properties. In fact, it is the first algorithm (using only atomic registers) which satisfies both FIFO and local-spinni...

Lower respiratory symptoms in bakery workers may be induced by wheat flour and endotoxins. We hypothesized that endotoxins from wheat flour may stimulate innate immunity and that interleukin-18 (IL-18) gene polymorphisms may affect their regulatory role in innate immune responses to endotoxins. To investigate the genetic contribution of IL-18 to sensitization to wheat flour, we performed a gene...