A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
The maximum-segment-sum problem
Formal development programs and proofs
The gamma model and its discipline of programming
Science of Computer Programming
Selected papers of the Second Workshop on Concurrency and compositionality
Programming by multiset transformation
Communications of the ACM
IEEE Transactions on Software Engineering - Special issue on software architecture
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Gamma, chromatic typing and vegetation
Coordination programming
Science of Computer Programming
Journal of Computer and System Sciences
Proving termination with multiset orderings
Communications of the ACM
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing
Implementation of Gamma on the Connection Machine
Research Directions in High-Level Parallel Programming Languages
A Parallel Programming Style and Its Algebra of Programs
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Local Linear Logic for Locality Consciousness in Multiset Transformation
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
Towards a Compositional Method for Coordinating Gamma Programs
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
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
A Logic Language based on GAMMA-like Multiset Rewriting
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Shapely Hierarchical Graph Transformation
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Formalization and Verification of Coherence Protocols with the Gamma Framework
PDSE '00 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Workflow Enactment Based on a Chemical Metaphor
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Generalised multisets for chemical programming
Mathematical Structures in Computer Science
Towards "Chemical" Desktop Grids
E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
Service Orchestration Using the Chemical Metaphor
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Distributed workflow coordination: molecules and reactions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
The organic grid: self-organizing computation on a peer-to-peer network
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
In 2001, we gave a survey of more than fifteen years of research on the chemical paradigm which had been a source of inspiration in many different research areas. The present article presents a digest of recent advances concerning the chemical reaction model. We focus to a large extent on: (1) upgrading the basic model to a higher order formalism allowing reactions to be part of solutions and to take part in reactions and (2) generalizing standard multisets to hybrid and infinite multisets, thus providing new forms of interactions between elements. These novelties, incorporated in the HOCL language (High Order Chemical Language), provide natural and elegant ways of expressing properties related to coordination and self-organization of systems. Finally, we present current research directions which strive to make the chemical reaction model effective particularly in the programming of large-scale, highly parallel applications such as Grids.