Gamma and the chemical reaction model: Fifteen years after

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2235, Issue , 2001, Pages 17-44

  Banâtre, Jean Pierre ^a,b   Fradet, Pascal ^c   Métayer, Daniel Le ^d  

^a UNIVERSITÉ DE RENNES 1   (France)

^b INRIA   (France)

^c CAMPUS DE BEAULIEU   (France)

^d Trusted Logic   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES;

CHEMICAL REACTION MODELS; SEQUENTIALITY;

CHEMICAL REACTIONS;

EID: 84875463332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45523-x_2     Document Type: Article

References (62)

1. S. Abramsky, Computational interpretations of linear logic, Theoretical Computer Science, Vol. 111, pp. 3-57, 1993.
2. R. Allen and D. Garlan, Formalising architectural connection, Proceedings of the IEEE 16th International Conference on Software Engineering, pp. 71-80, 1994.
3. J.-M. Andreoli and R. Pareschi, Linear Objects: logical processes with built-in inheritence, New Generation Computing, Vol. 9, pp. 445-473, 1991.
4. J.-M. Andreoli, P. Ciancarini and R. Pareschi, Interaction abstract machines, in Proc. of the workshop Research Directions in Concurrent Object Oriented Programming, 1992.
5. R. Back, Refinement calculus, part II: parallel and reactive programs, in Proc. of the workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, 1989, Springer Verlag, LNCS 430.
6. J.-P. Banâtre, A. Coutant and D. Le Métayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, pp. 133-144, 1988.
7. J.-P. Banâtre, A. Coutant and D. Le Métayer, Parallel machines for multiset transformation and their programming style, Informationstechnik, Oldenburg Ver-lag, Vol. 2/88, pp. 99-109, 1988.
8. J.-P. Banâtre and D. Le Métayer, The Gamma model and its discipline of programming, Science of Computer Programming, Vol. 15, pp. 55-77, 1990.
9. J.-P. Banâtre and D. Le Métayer, Programming by multiset transformation, Communications of the ACM, Vol. 36-1, pp. 98-111, January 1993.
10. J.-P. Banâtre and D. Le Métayer, Gamma and the chemical reaction model: ten years after, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
11. P. Bertin, D. Roncin and J. Vuillemin, Programmable active memories: a performance assessment, in Proc. of the workshop on Parallel architectures and their efficient use, 1992, Springer Verlag, LNCS, pp. 119-130.
12. G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, Vol. 96, pp. 217-248, 1992.
13. G. Boudol, Some chemical abstract machines, in Proc. of the workshop on A decade of concurrency, 1994, Springer Verlag, LNCS 803, pp. 92-123.
14. Chandy M. and Misra J., Parallel program design: a foundation, Addison-Wesley, 1988.
15. N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, Vol. 32-4, pp. 444-458, April 1989.
16. T. H. Cormen, C. E. Leiserson and R. L. Rivest, Introduction to algorithms, MIT Press, 1990.
17. M. Chaudron and E. de Jong, Schedules for multiset transformer programs, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
18. M. Chaudron and E. de Jong, Towards a compositional method for coordinating Gamma programs, in Proc. Coordination'96 Conference, Lecture Notes in Computer Science, Vol. 1061, pp. 107-123, 1996.
19. P. Ciancarini, D. Fogli and M. Gaspari, A logic language based on multiset rewriting, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
20. P. Ciancarini, R. Gorrieri and G. Zavattaro, An alternate semantics for the calculus of Gamma programs, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
21. D. Cohen and J. Muylaert-Filho, Introducing a calculus for higher-order multiset programming, in Proc. Coordination'96 Conference, Lecture Notes in Computer Science, Vol. 1061, pp. 124-141, 1996.
22. C. Creveuil, Techniques d'analyse et de mise en œuvre des programmes Gamma, Thesis, University of Rennes, 1991.
23. C. Creveuil, Implementation of Gamma on the Connection Machine, in Proc. of the workshop on Research Directions in High-Level Parallel Programming Languages, Mont-Saint Michel, 1991, Springer Verlag, LNCS 574, pp. 219-230.
24. C. Creveuil and G. Moguérou, D éveloppement systématique d'un algorithme de segmentation d'images à l'aide de Gamma, Techniques et Sciences Informatiques, Vol. 10, No 2, pp. 125-137, 1991.
25. E. de Jong, An industrial case study: a railway control system, Proc. Second int. Conf. on Coordination Models, Languages and Applications, Springer Verlag, LNCS 1282, 1997.
26. Dershowitz N. and Manna Z., Proving termination with multiset ordering, Communications of the ACM, Vol. 22-8, pp. 465-476, August 1979.
27. Dijkstra E. W., The humble programmer, Communications of the ACM, Vol. 15-10, pp. 859-866, October 1972.
28. L. Errington, C. Hankin and T. Jensen, A congruence for Gamma programs, in Proc. of WSA conference, 1993
29. W. Fontana, Algorithmic chemistry, Proc. of the workshop on Artificial Life, Santa Fe (New Mexico), Addison-Wesley, 1991, pp. 159-209.
30. P. Fradet and D. Le Métayer, Shape types, in Proc. of Principles of Programming Languages, POPL'97, ACM Press, pp. 27-39, 1997.
31. P. Fradet and D. Le Métayer, Structured Gamma, Science of Computer Programming, 31, pp. 263-289, 1998.
32. Gelernter D., Generative communication in Linda, ACM Transactions on Programming Languages and Systems, Vol. 7, 1, pp. 80-112, January 1985.
33. K. Gladitz and H. Kuchen, Parallel implementation of the Gamma-operation on bags, Proc. of the PASCO conference, Linz, Austria, 1994.
34. C. Hankin, D. Le Métayer and D. Sands, A calculus of Gamma programs, in Proc. of the 5th workshop on Languages and Compilers for Parallel Computing, Yale, 1992, Springer Verlag, LNCS 757.
35. C. Hankin, D. Le Métayer and D. Sands, A parallel programming style and its algebra of programs, in Proc. of the PARLE conference, LNCS 694, pp. 367-378, 1993.
36. B. Hoffmann. Shapely Hierarchical Graph Transformation, Symposium on Visual Languages and Formal Methods (VL FM'01) in the IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01), IEEE Press, 2001.
37. A. A. Holzbacher, M. Périn and M. Südholt, Modeling railway control systems using graph grammars: a case study, Proc. Second int. Conf. on Coordination Models, Languages and Applications, Springer Verlag, LNCS 1282, 1997.
38. P. Inverardi and A. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp. 373-386, April 1995.
39. A. Jeffrey, A chemical abstract machine for graph reduction, TR 3/92, University of Sussex, 1992.
40. H. Kuchen and K. Gladitz, Parallel implementation of bags, in Proc. ACM Conf. on Functional Programming and Computer Architecture, ACM, pp. 299-307, 1993.
41. D. Le Métayer, Higher-order multiset programming, in Proc. of the DIMACS workshop on specifications of parallel algorithms, American Mathematical Society, Di-macs series in Discrete Mathematics, Vol. 18, 1994.
42. D. Le Métayer, Describing software architecture styles using graph grammars, IEEE Transactions on Software Engineering (TSE), Vol. 24(7), pp. 521-533, 1998.
43. L. Leth and B. Thomsen, Some Facile chemistry, TR 92/14, ECRC, 1992.
44. K. Li, P. Hudak, Memory Coherence in Shared Virtual Memory Systems, in Proc. of ACM Symposium on Principles of Distributed Computing, pp. 229-239, 1986.
45. Lin Peng Huan, Kam Wing Ng and Yong Qiang Sun, Implementing higher-order Gamma on MasPar: a case study, Journal of Systems Engineering and Electronics, Vol. 16(4), 1995.
46. Lin Peng Huan, Kam Wing Ng and Yong Qiang Sun, Implementing Gamma on MasPar MP-1, Journal of Computer Science and Technology.
47. H. McEvoy, Gamma, chromatic typing and vegetation, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
48. H. McEvoy and P. H. Hartel, Local linear logic for locality consciousness in multiset transformation, Proc. Programming Languages: Implementations, Logics and Programs, PLILP'95, LNCS 982, pp. 357-379, 1995.
49. D. Mentré, D. Le Métayer, T. Priol, Formalization and Verification of Coherence Protocols with the Gamma Framework, in Proc. of the 5th Int. Symp. on Software Engineering for Parallel and Distributed Systems (PDSE-2000), ACM, 2000.
50. R. Milner, Communication and concurrency, International Series in Computer Science, Prentice Hall, Englewood Cliffs, NJ, 1989.
51. R. Milner, Functions as processes, Mathematical Structures in Computer Science, Vol. 2, pp. 119-141, 1992.
52. L. Mussat, Parallel programming with bags, in Proc. of the workshop on Research Directions in High-Level Parallel Programming Languages, Mont-Saint Michel, 1991, Springer Verlag, LNCS 574, pp. 203-218.
53. M. Périn, Spécifications graphiques multi-vues: formalisation et vérification de cohérence, PhD thesis, Université de Rennes 1, 2000.
54. M. Rem, Associons: a program notation with tuples instead of variables, ACM Trans. on Programming Languages and Systems, Vol. 3, 3, pp. 251-261, 1981.
55. M. Reynolds, Temporal semantics for Gamma, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
56. R. Sedgewick, Algorithms in C, Addison-Wesley publishing company, 1990.
57. W.-P. de Roever, Why formal methods are a must for real-time system specification, in Proc. Euromicro'92, Panel discussion, June 1992, Athens.
58. H. Ruiz Barradas, Une approche à la dérivation formelle de syst̀emes en Gamma, Thesis, University of Rennes 1, July 1993.
59. D. Sands, A compositional semantics of combining forms for Gamma programs, in Proc. of the Formal Methods in Programming and their Applications conference, Novosibirsk, 1993, Springer Verlag, LNCS 735, pp. 43-56.
60. D. Sands, Composed reduction systems, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
61. L. Van Aertryck and O. Ridoux, Gammalog as goal-directed proofs, internal report.
62. M. Vieillot, Synthèse de programmes Gamma en logique reconfigurable, Technique et Science Informatiques, Vol. 14, pp. 567-584, 1995.