[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [moca] all-you-can-eat calculi



Hi there,

Can't you already express this by the (infinite) recursion operator?


Kind regards,

-----Original Message-----
From: Martin Berger [mailto:martinb@xxxxxxxxxxxxxx]
Sent: mardi 17 août 2004 17:20
To: moca; Martin Berger
Subject: [moca] all-you-can-eat calculi


most message passing calculi i know either do point-to-point
communication or broadcasting. the latter means one output
interacts with many inputs. i wonder about the 'dual'
of broadcasting -- i call it "all-you-can-eat" -- where
one input consumes as many outputs as possible in one go.
all-you-can-eat in a calculus of pure synchronisation would
probably have a reduction rule like

    x.P | \overline{x} | ... \overline{x}  --->  P

I'd like to know if calculi with this or similar rules
have already been studied. in particular, i'd like to hear
about applications where this form of communication
is natural. I'd also wish to find out how to generalise
all-you-can-eat to value passing.

thanks, martin


~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

---
Incoming mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.725 / Virus Database: 480 - Release Date: 19/07/2004

---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.725 / Virus Database: 480 - Release Date: 19/07/2004

  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html