This paper is about reachability analysis in a restricted subclass of multi-pushdown automata: we assume that the control states of an automaton are partially ordered, and all transitions of an automaton go downwards with respect to the order. We prove decidability of the reachability problem, and computability of the backward reachability set. As the main contribution, we identify relevant sub...

an efficient synthesis of some novel coumarin derivatives via 1, 4- michael addition of indole to coumarin chalcones catalyzed by cellulose sulphonic acid (csa) under solvent free conditions is described. the corresponding michael addition products were obtained in good to excellent yield. the synthesized compounds were screened for their antibacterial activity against e. coli, s. aureus and an...

in this study, the effect of addition of three different levels of microbial lipase (0, 4, and 8.0 g lipase in 100 kg milk) was investigated on the physiochemical properties, free fatty acids, textural properties, and microstructure of lighvan cheese during ripening. the addition of lipase did not significantly affect ph, acidity, moisture, and salt content of lighvan cheese, but increased its ...