Gianluigi Zavattaro

We compare Gamma and Linda, two of the most prominent coordination languages based on generative communication via a shared data space. In Gamma computation is obtained by applying multiset rewriting rules, reminiscent of the way chemical reactions happen in a solution. On the other hand, Linda permits interprocess communication by means of the creation and consumption of shared data. Also a non-blocking input operator is allowed: it terminates indicating if the required datum has been consumed or it is not actually available. We first recall two simple calculi based on Gamma and Linda coordination models. Even if both the languages are Turing powerful, we show that their expressive power is not comparable; in particular, we prove that there exists no program distribution preserving encoding of one language in the other that respects at least the input-output behaviour.

Amsterdam, The Netherlands, oct 1998.
@techreport{gammalinda-zavattaro1998,
Address = {Amsterdam, The Netherlands},
Author = {Zavattaro, Gianluigi},
Institution = {CWI},
Month = oct,
Number = {SEN-R9827},
Title = {On the Incomparability of {G}amma and {L}inda},
Year = 1998}

    

Publication

On the Incomparability of Gamma and Linda

— status

published  

— authors

Gianluigi Zavattaro

BibTeX

— BibTeX ID
gammalinda-zavattaro1998
— BibTeX category
techreport

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY