HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

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

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

Cited literature [11 references]

https://hal.inria.fr/inria-00000943
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

### Identifiers

• HAL Id : inria-00000943, version 1

### Citation

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