Classical coordination mechanisms in the chemical model

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Volumn 9780521518253, Issue , 2009, Pages 29-50

  Banâtre, Jean Pierre ^a   Fradet, Pascal ^b   Radenac, Yann ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); MOLECULES; PARALLEL PROGRAMMING;

BASIC PRINCIPLES; CHEMICAL PROGRAMMING; COORDINATION MECHANISMS; PARALLEL PROGRAMMING MODEL; PARALLEL PROGRAMMING PARADIGMS; PROGRAMMING PARADIGMS; REACTION CONDITIONS; REDUCTION PRINCIPLE;

REDUCTION;

EID: 84927116401     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511770524.003     Document Type: Chapter

References (15)

1. J.-P. Banâtre, P. Fradet, J.-L. Giavitto and O. Michel (eds). Unconventional Programming Paradigms (UPP’04), volume 3566 of Lecture Notes in Computer Science, Revised Selected and Invited Papers of the International Workshop, 2005. Springer-Verlag.
2. J.-P. Banâtre, P. Fradet and D. Le Métayer. Gamma and the chemical reaction model: Fifteen years after. In Multiset Processing, volume 2235 of Lecture Notes in Computer Science, pp. 17–44. Springer-Verlag, 2001.
3. J.-P. Banâtre, P. Fradet and Y. Radenac. Principles of chemical programming. In S. Abdennadher and C. Ringeissen (eds), Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), volume 124 of ENTCS, pp. 133–147. Elsevier, June 2005.
4. J.-P. Banâtre, P. Fradet and Y. Radenac. Generalised multisets for chemical programming. Mathematical Structures in Computer Science, 16(4):557–580, 2006.
5. J.-P. Banâtre, P. Fradet and Y. Radenac. Programming self-organizing systems with the higher-order chemical language. International Journal of Unconventional Computing, 2007.
6. J.-P. Banâtre and D. Le Métayer. Programming by multiset transformation. Communications of the ACM (CACM), 36(1):98–111, 1993.
7. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
8. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444–458, 1989.
9. K. Mani Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
10. C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pp. 372–385. ACM Press, 1996.
11. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, 1978.
12. G. Kahn. The semantics of a simple language for parallel programming. Information Processing, 74:471–475, 1974.
13. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
14. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, 1989.
15. H. R. Barradas. Une approche à la dérivation formelle de systèmes en Gamma. PhD thesis, Université de Rennes 1, France, 1993.