Generalised multisets for chemical programming

Mathematical Structures in Computer Science

Volumn 16, Issue 4, 2006, Pages 557-580

  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

EID: 33750743748     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129506005317     Document Type: Conference Paper

References (20)

1. Banâtre, J.-P., Fradet, P. and Le Métayer, D. (2001) Gamma and the chemical reaction model: Fifteen years after. In: Calude, C., Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Multiset Processing. Springer-Verlag Lecture Notes in Computer Science 2235 17-44.
2. Banâtre, J.-P., Fradet, P. and Radenac, Y. (2004) Chemical specification of autonomic systems. In: Proc. of the 13th Int. Conf. on Intelligent and Adaptive Systems and Software Engineering (IASSE'04).
3. Banâtre, J.-P., Fradet, P. and Radenac, Y. (2005a) Higher-order programming style. In: Proc. of the workshop on Unconventional Programming Paradigms (UPP'04). Springer-Verlag Lecture Notes in Computer Science 3566.
4. Banâtre, J.-P, Fradet, P. and Radenac, Y. (2005b) Principles of chemical programming. In: Abdennadher, S. and Ringeissen, C. (eds.) Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Electronic Notes in Theoretical Computer Science 124 133-147.
5. Banâtre, J.-P. and Le Métayer, D. (1986) A new computational model and its discipline of programming. Technical Report RR0566, INRIA.
6. Banâtre, J.-P. and Le Métayer, D. (1993) Programming by multiset transformation. Communications of the ACM (CACM) 36 (1) 98-111.
7. Berry, G. and Boudol, G. (1992) The chemical abstract machine. Theoretical Computer Science 96 217-248.
8. Blizard, W. (1990) Negative membership. Notre Dame Journal of Formal Logic 31 (3) 346-368.
9. Blizard, W. (1991) The development of multiset theory. Modern Logic 1 19 - 352.
10. Calude, C., Paun, G., Rozenberg, G. and Salomaa, A. (eds.) (2001) Multiset Processing. Mathematical, Computer Science and Molecular Computing Points of View. Springer-Verlag Lecture Notes in Computer Science 2235.
11. Chaudron, M. (1994) Schedules for multiset transformer programs. Technical Report tr94-36, Rijksuniversiteit Leiden.
12. Cohen, D. and Muylaert-Filho, J. (1996) Introducing a calculus for higher-order multiset programming. In: Coordination Languages and Models. Springer-Verlag Lecture Notes in Computer Science 1061 124-141.
13. Dershowitz, N. and Manna, Z. (1979) Proving termination with multiset orderings. Communications of the ACM 22 (8) 465-476.
14. Dittrich, P., Ziegler, J. and Banzhaf, W. (2001) Artificial chemistries - a review. Artificial Life 1 (3) 225-275.
15. Fontana, W. and Buss, L. (1994) The arrival of the fittest : Toward a theory of biological organization. Bulletin of Mathematical Biology 56.
16. Hankin, C., Métayer, D. L. and Sands, D. (1992) A calculus of Gamma programs. In: Languages and Compilers for Parallel Computing, 5th International Workshop. Springer-Verlag Lecture Notes in Computer Science 757 342-355.
17. Knuth, D. E. (1981) Seminumerical Algorithms, The Art of Computer Programming, Volume 2, Addison-Wesley, second edition.
18. Le Métayer, D. (1994) Higher-order multiset programming. In: Proceedings of the DIMACS workshop on specifications of parallel algorithms. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18, American Mathematical Society 179-200.
19. Loeb, D. (1992) Sets with a negative number of elements. Advances in Mathematics 91 64-74.
20. Pǎun, G. (2000) Computing with membranes. Journal of Computer and System Sciences 61 (1) 108-143.