HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Thursday, December 15, 2005 - 5:33:52 PM
Last modification on : Friday, February 4, 2022 - 3:12:49 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