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

Re: Denotational meaning of Spi?



Marcelo Fiore and I tried to give a denotational semantics
for the spi calculus, along the lines you suggest, about one
year ago. We stopped---not because of any clear impossibility,
however, so we may try again. I am not aware of other work
in this direction.

Martin



Benyamin Aziz wrote:
> 
> Dear all,
> I am anxious to know whether there has been any recent effort (or any
> effort at all!) in defining the meaning of Spi calculus processes
> mathematically (i.e. denotationally) in the same manner as Stark,
> Hennessy, Fiore and other people have provided a denotational framework
> for the Pi calculus.
> Regards,
> Ben
> --
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> Benjamin Aziz, MSc
> Department of Computer Applications
> Dublin City University
> email: baziz@xxxxxxxxxxxxxx
> Webpage: http://www.compapp.dcu.ie/~baziz
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> 
>   ------------------------------------------------------------------------
> 
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
>  http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html