Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Algorithms in C
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
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Parallel implementation of bags
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Research directions in concurrent object-oriented programming
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Gamma and the chemical reaction model: ten years after
Coordination programming
Coordination programming
Schedules for multiset transformer programs
Coordination programming
Coordination programming
An alternative semantics for the parallel operator of the calculus of gamma programs
Coordination programming
Gamma, chromatic typing and vegetation
Coordination programming
Science of Computer Programming
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving termination with multiset orderings
Communications of the ACM
Communications of the ACM
Communication and Concurrency
Introduction to Algorithms
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
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
Parallel Programming with Bags
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
A Compositional Semantics of Combining Forms for Gramma Programs
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
Introducing a Calculus for Higher-Order Multiset Programming
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Towards a Compositional Method for Coordinating Gamma Programs
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Modeling Railway Control Systems Using Graph Grammars: A Case Study
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
A Congruence for Gamma Programs
WSA '93 Proceedings of the Third International Workshop on Static Analysis
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Some Chemical Abstract Machines
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Programmable Active Memories: A Performance Assessment
Proceedings of the First Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use
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
Evolving Multi-agent Networks in Structured Environments
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Theoretical Computer Science
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
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
Developing Autonomic and Secure Virtual Organisations with Chemical Programming
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A Generalized Higher-Order Chemical Computation Model
Electronic Notes in Theoretical Computer Science (ENTCS)
An exponential-decay synapse integrated circuit for bio-inspired neural networks
IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1
Distributed workflow coordination: molecules and reactions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Minimization strategies for maximally parallel multiset rewriting systems
Theoretical Computer Science
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
On a probabilistic chemical abstract machine and the expressiveness of linda languages
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Higher-Order chemical programming style
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
License protection with a tamper-resistant token
WISA'04 Proceedings of the 5th international conference on Information Security Applications
Congruence for structural congruences
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Basic notions of reaction systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Fault tolerant autonomic computing systems in a chemical setting
Dependable and Historic Computing
Statelets: coordination of social collaboration processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
An excursion in reaction systems: From computer science to biology
Theoretical Computer Science
Towards a computing model for open distributed systems
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Hi-index | 0.01 |
Gamma was originally proposed in 1986 as a formalism for the definition of programs without artificial sequentiality. The basic idea underlying the formalism is to describe computation as a form of chemical reaction on a collection of individual pieces of data. Due to the very minimal nature of the language, and its absence of sequential bias, it has been possible to exploit this initial paradigm in various directions. This paper reviews most of the work around Gamma considered as a programming or as a specification language. A special emphasis is placed on unexpected applications of the chemical reaction model, showing that this paradigm has been a source of inspiration in various research areas.