Systeme de transition sur les ordre Partiellement complet

Bibliographie

[11 GOLDBLATT, R.(2004). A Comonadic Account ofBehavioural Covarieties of Coal_gebras, Centre for Lo_gic, Lan_gua_ge and computation, Victoria Universit_y, P.O Box 600, Wellin_gton, New Zealand. Rob.Goldblatt@.vuw.ac.nz

[21 Gumm, H.P (1999). Elements of the _general theor_y of coal_gebras. LUATCS'99, Rand Africans Universit_y, Johannesbour_g, South Africa, 60pp.

[31 Hu_gues, J.(2001b), A Stud_y of Caté_gories of Al_gebras and Coal_gebras, PhD thesis, Carne_gie Mellon Universit_y.

[41 Mac Lane, S.(1971), Cate_gories for the workin_g Mathematicien, Sprin_ger-Verla_g.

[5 Rutten, J.(2000), Universal coal_gebra : a theor_y of s_ystem, Theorical computer science,249(1) 3-80.

[61 Worrel, J.(1998), Toposes of coal_gebras and hidden al_gebras, coal_gebraic Methods in computer science,Vol 11, Elsevier Science. 1998, pp. 215-233.

[71 , Ordres partiels complets : une cate_gorie -complet Mémoire de maitrise, Fac.sciences, Université de Yaoundé 1989