Ali RezaeeAmir Masoud RahmaniAli Movaghar 0001Mohammad TeshnehlabFormal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service.345-383201467J. Supercomput.2https://doi.org/10.1007/s11227-013-1005-9https://www.wikidata.org/entity/Q57572940db/journals/tjs/tjs67.html#RezaeeRMT14