On a probabilistic chemical abstract machine and the expressiveness of linda languages

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

Volumn 4111 LNCS, Issue , 2006, Pages 388-407

  Di Pierro, Alessandra ^a   Hankin, Chris ^b   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBABILITY; PROBLEM SOLVING; SEMANTICS; TENSORS;

CHEMICAL ABSTRACT MACHINE (CHAM); LINDA LANGUAGES; SYSTEMS BIOLOGY;

COMPUTER SYSTEMS;

EID: 33749627711     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11804192_18     Document Type: Conference Paper

References (20)

1. Banâtre, J.P., Le Métayer, D.: The gamma model and its discipline of programming. Science of Computer Programming 15 (1990) 55-77
2. Banêtre, J.P., Fradet, P., Le Métayer, D.: Gamma and the chemical reaction model: Fifteen years after. In Calude, C., ed.: Multiset Processing. Volume 2235 of Lecture Notes in Computer Science., Springer Verlag (2001) 17-44
3. Fradet, P., Le Métayer, D.: Structured gamma. Science of Computer Programming 31 (1998) 263-289
4. Le Métayer, D.: Higher-order multiset programming. In: DIMACS workshop on specifications of parallel algorithms. Volume 18 of Dimacs series in Discrete Mathematics., American Mathematical Society (1994)
5. Andreoli, J.M., Hankin, C., Le Métayer, D.: Coordination Programming. Imperial College Press, London (1996)
6. Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96 (1992) 217-248
7. Jonsson, B., Yi, W., Larsen, K.: 11. In: Probabilistic Extensions of Process Algebras. Elsevier Science, Amsterdam (2001) 685-710 see [16].
8. De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24 (1998) 315-330
9. Grimmett, G., Stirzaker, D.: Probability and Random Processes, second edn. Clarendon Press, Oxford (1992)
10. Parzen, E.: Stochastic Processes, second edn. Classics in Applied Mathematics. SIAM (1999)
11. Ciancarini, P., Jensen, K., Yankelevich, D.: On the operational semantics of a coordination language. In Ciancarini, P., Nierstrasz, O., Yonezawa, A., eds.: ECOOP Workshop. Volume 924 of Lecture Notes in Computer Science., Springer Verlag (1995) 77-106
12. Shapiro, E.: Embeddings among concurrent programming languages. In Cleaveland, W.R., ed.: Proceedings CONCUR 92, Stony Brook, NY, USA. Volume 630 of Lecture Notes in Computer Science., Springer-Verlag (1992) 486-503
13. de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Information and Computation 108 (1994) 128-157
14. Brogi, A., Di Pierro, A., Wiklicky, H.: Linear embedding for a quantitative comparison of language expressiveness. In: QAPL'01 - ACM Workshop on Quantitative Aspects of Programming Languages. Volume 59:3 of ENTCS., Elsevier (2002)
15. Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous pi-calculus. Mathematical Structures in Computer Science 13 (2003) 685-719
16. Bergstra, J., Ponse, A., Smolka, S., eds.: Handbook of Process Algebra. Elsevier Science, Amsterdam (2001)
17. Palmer, T.: Banach Algebras and The General Theory of *-Algebras - Volume I: Algebras and Banach Algebras. Volume 49 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge - New York (1994)
18. Kadison, R., Ringrose, J.: Fundamentals of the Theory of Operator Algebras: Volume I - Elementary Theory. Volume 15 of Graduate Studies in Mathematics. American Mathematical Society, Providence, Rhode Island (1997) reprint from Academic Press edition 1983.
19. Fillmore, P.A.: A User's Guide to Operator Algebras. John Wiley & Sons, New York - Chicester (1996)
20. Wegge-Olsen, N.: K-Theory and C* - Algebras - A Friendly Approach. Oxford University Press, Oxford (1993)