Higher-order chemical programming style

Lecture Notes in Computer Science

Volumn 3566, Issue , 2005, Pages 84-95

  Banatre J P ^a   Fradet, P ^b   Radenac, Y ^a  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL REACTIONS; COMPUTER PROGRAMMING; MATHEMATICAL MODELS;

AUTOMATIC MAIL SYSTEMS; CHEMICAL PROGRAMMING; CHEMICAL SOLUTIONS; REWRITE RULES;

CHEMICALS;

EID: 26444527461     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11527800_7     Document Type: Conference Paper

References (11)

1. Jean-Pierre Banâtre, Pascal Fradet, and Daniel Le Métayer. Gamma and the chemical reaction model: Fifteen years after. In Multiset Processing, volume 2235 of LNCS, pages 17-44. Springer-Verlag, 2001.
2. Jean-Pierre Banâtre, Pascal Fradet, and Yann Radenac. Chemical specification of autonomic systems. In Walter Dosch and Narayan Debnath, editors, Proc. of the 13th Int. Conf. on Intelligent and Adaptive Systems and Software Engineering (IASSE'04). ISCA, 2004.
3. Jean-Pierre Banâtre, Pascal Fradet, and Yann Radenac. Principles of chemical programming. In S. Abdennadher and C. Ringeissen, editors, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), volume 124 of ENTCS, pages 133-147. Elsevier, June 2004.
4. Jean-Pierre Banâtre and Daniel Le Métayer. A new computational model and its discipline of programming. Technical Report RR0566, INRIA, September 1986.
5. Jean-Pierre Banâtre and Daniel Le Métayer. Programming by multiset transformation. Communications of the ACM (CACM), 36(1):98-111, January 1993.
6. Hector Barradas. Systematic derivation of an operating system kernel in Gamma. Phd thesis (in french), University of Rennes, France, July 1993.
7. Gérard Berry and Gérard Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
8. Nicholas Carriero and David Gelernter. Linda in Context. Communications of the ACM, 32(4):444-458, 1989.
9. Walter Fontana and Leo Buss. Algorithmic chemistry. In J. Farmer C. Langton, C. Taylor and S. Rasmussen, editors, Artificial Life II, volume X, pages 159-209. Addison-Wesley, 1992.
10. Daniel Le Métayer. Higher-order multiset programming. In American Mathematical Society, editor, Proc. of the DIMACS workshop on specifications of parallel algorithms, volume 18 of Dimacs Series in Discrete Mathematics, 1994.
11. Gheorghe Pǎun. Computing with membranes. Journal of Computer and System Sciences, 61(1):108-143, 2000.