[moca] Re: Pi's encodings of Spi

[Michael Baldamus <michaelb@xxxxxxxx>]

Hi,

thanks for this info, it will be taken into account. Once we have
something that can be distibuted, we should announce it via the
moca list.

Kind regards

  Michael

## Michael Baldamus (postdoc) - Uppsala University, Department of
## Information Technology, Box 337, 751 05 UPPSALA, Sweden
## E-Mail: Michael.Baldamus@xxxxxxxx - Link: user.it.uu.se/~michaelb
## Phone: +46.18.471 7952 - Fax: +46.18.511925


On Tue, 27 May 2003, Benjamin Aziz wrote:

> Hi,
> Carbone and Maffeis mention in their paper:
> "On the Expressive Power of Polyadic Synchronization in Pi Calculus"
>
> that it is possible to encode encryption by considering channels as
> vectors (instead of atomic entities) in the pi calculus. For example, you
> can write the transmission of data d encrypted under key k over public
> channel c as:
> \overline{c.k}< d >.P
>
> where c.k is still a channel.  However, in their paper, they only treat
> local areas as an example of the expressive power of polyadic
> synchronization (it may be worth investigating how the language would
> react to the encoding of the spi calculus).
>
> Hope that was helpful,
> --
> -----------------------------------------------------
> Benjamin Aziz
> School of Computer Applications,
> Dublin City University,
> Dublin 9,
> Ireland
> Telephone(Office): (00353).(1).7005828
> Electronic Mail: baziz@xxxxxxxxxxxxxxxx
> -----------------------------------------------------
>
> Michael Baldamus wrote:
>
> > this message here is a request for pointers to the literature
> > with respect to a topic we have begun working on within our group.
> > It's the encoding/compilation of Martin Abadi and Andrew Gordon's
> > spi-calculus into the \pi-calculus. We rather want to ask instead
> > of possibly missing anything. So, it would be greatly appreciated
> > if we received any relevant information.
>
>
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html