From Gamma to CBS: refining multiset transformations with broadcasting processes

Abstract

This paper presents a novel approach to the problem of implementing programs in Gamma, a computation model of chemical-reaction-like multiset transformations, by translating them into a process calculus with broadcasting c ommunication, CBS. The concurrent message reception of broadcasting communication ts very naturally to the implicit parallelism of the Gamma model: A value that may trigger reactions with several others in the multiset is broadcast to the potential receivers and may thus react with all of them at the same time. This kind of triggering reactions, which we call quasi-unary, is very common in Gamma programs and is found in a large class of problems. The translation constitutes a correct renement of the Gamma program and oers possibilities for further optimisations for several classes of problems. We address termination of Gamma programs and identify several classes of programs where termination can be detected and practically implemented. 1

Probabilistic Linda-Based Coordination Languages

“…Alternative ways of synchronising components could be Message Passing, as in the Manifold model [3], or broadcast (cf Sands use of the CBS calculus [4]). …”