Skip to Main content Skip to Navigation
Conference papers

A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets

Jean-Pierre Banâtre 1 Pascal Fradet 2 Yann Radenac 1
1 PARIS - Programming distributed parallel systems for large scale numerical simulation
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, ENS Cachan - École normale supérieure - Cachan, Inria Rennes – Bretagne Atlantique
Abstract : Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules floating in a chemical solution. Formally, this model is represented by the rewriting of a multiset where rewrite rules model the chemical reactions. Recently, we have proposed the $\gamma$-calculus, a higher-order extension, where the rewrite rules are first-class citizen. The work presented in this paper increases further the expressivity of the chemical model with generalized multisets: multiplicities of elements may be infinite and/or negative. Applications of these new notions are illustrated by some programming examples.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Pascal Fradet <>
Submitted on : Thursday, December 15, 2005 - 5:33:52 PM
Last modification on : Monday, February 15, 2021 - 10:42:54 AM
Long-term archiving on: : Saturday, April 3, 2010 - 7:20:34 PM


  • HAL Id : inria-00000943, version 1


Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets. First International Workshop on New Developments in Computational Models, Jul 2005, Lisbon. ⟨inria-00000943⟩



Record views


Files downloads