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

Denotational meaning of Spi?



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