The use of mathematical and computer models to explore the applicability of fluidized bed technology for highly exothermic catalytic reactions. I. Oxidative dehydrogenation of butene