Selected papers of the Second Workshop on Concurrency and compositionality
Programming by multiset transformation
Communications of the ACM
Journal of Computer and System Sciences
Introducing a Calculus for Higher-Order Multiset Programming
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
A Higher-Order Graph Calculus for Autonomic Computing
Graph Theory, Computational Intelligence and Thought
A survey of evolutionary and embryogenic approaches to autonomic networking
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
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 @c-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.