%0 Journal Article %A Taibi, T. %A Ngo, D. C. L. %T Modeling of distributed objects computing pattern combinations using a formal specification language %J International Journal of Applied Mathematics and Computer Science %D 2003 %P 239-253 %V 13 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/IJAMCS_2003_13_2_a12/ %G en %F IJAMCS_2003_13_2_a12