J. Banâtre, Gamma and the Chemical Reaction Model: Fifteen Years After, Multiset Processing, pp.17-44, 2001.
DOI : 10.1007/3-540-45523-X_2

J. Banâtre, Chemical Specification of Autonomic Systems, Proc. of the 13th Int. Conf. on Intelligent and Adaptive Systems and Software Engineering, 2004.

J. Banâtre, Higher-order Programming Style, Proc. of the workshop on Unconventional Programming Paradigms, 2005.

J. Banâtre, Principles of Chemical Programming, Proceedings of the 5th International Workshop on Rule-Based Programming, pp.133-147, 2004.
DOI : 10.1016/j.entcs.2004.07.019

J. Banâtre and &. Métayer, A new computational model and its discipline of programming, 1986.

J. Banâtre and &. Métayer, Programming by multiset transformation, Communications of the ACM, vol.36, issue.1, pp.98-111, 1993.
DOI : 10.1145/151233.151242

G. Berry and &. G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992.
DOI : 10.1016/0304-3975(92)90185-I
URL : https://hal.archives-ouvertes.fr/inria-00075426

W. Blizard, Negative membership., Notre Dame Journal of Formal Logic, vol.31, issue.3, pp.346-368, 1990.
DOI : 10.1305/ndjfl/1093635499

W. Blizard, The development of multiset theory'. Modern Logic, pp.319-352, 1991.

C. Calude, Multiset Processing, Mathematical, Computer Science and Molecular Computing Points of View, Lecture Notes on Computer Science, 2001.

M. Chaudron, Schedules for Multiset Transformer Programs'. Tech. Rep, pp.94-130, 1994.

D. Cohen and &. J. Muylaert-filho, Introducing a calculus for higher-order multiset programming, Coordination Languages and Models, pp.124-141, 1996.
DOI : 10.1007/3-540-61052-9_43

N. Dershowitz and &. Z. Manna, Proving termination with multiset orderings, Communications of the ACM, vol.22, issue.8, pp.465-476, 1979.
DOI : 10.1145/359138.359142

P. Dittrich, Artificial Chemistries???A Review, Artificial Life, vol.17, issue.3, pp.225-275, 2001.
DOI : 10.1162/106454601753138998

W. Fontana and &. L. Buss, The Arrival of the Fittest: Toward a Theory of Biological Organization, Bulletin of Mathematical Biology, vol.56, 1994.

C. Hankin, A calculus of gamma programs, Languages and Compilers for Parallel Computing, 5th International Workshop, pp.342-355, 1992.
DOI : 10.1007/3-540-57502-2_57
URL : https://hal.archives-ouvertes.fr/inria-00076998

D. E. Knuth, The Art of Computer Programming, Seminumerical Algorithms of Addison-Wesley Series in Computer Science and Information Processing, 1981.

D. and L. Métayer, Higher-order multiset programming, Proc. of the DIMACS workshop on specifications of parallel algorithms of Dimacs Series in Discrete Mathematics, 1994.

D. Loeb, Sets with a negative number of elements, Advances in Mathematics, vol.91, issue.1, pp.64-74, 1992.
DOI : 10.1016/0001-8708(92)90011-9