[moca] Pi's encodings of Spi

[Benjamin Aziz <baziz@xxxxxxxxxxxxxxxx>]

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