groundwaterqualityassessmentandmappingquality parametersto assesstheresource fordifferent purposesis important.the purposeofthisstudy was toevaluate the qualityof groundwatersahra bagh plainandmapping itfordifferentpurposes.forthispurpose, thegroundwaterquality datafrom (1382 to 1392)wasused. inthisstudy,to evaluate effect ofwater scaling and corrosion from lanzlyh saturation and stability ryzn...

This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel composition, quantified choice and quantified synchronization. It is inspired from automata, statecharts and process algebras. Hence, it combines the strength of al...

This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel composition, quantified choice and quantified synchronization. It is inspired from automata, statecharts and process algebras. Hence, it combines the strength of al...