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

RE: [moca] Pointers on correct abstract machines for calculi with nested locations

I would like to mention the following paper which defines a distributed abstract machine called CLAM (CeLlular Abstract Machine) for the M-calculus where nested locations are named cells. The paper also describes a preliminary implementation. 

  Florence Germain, Marc Lacoste, and Jean-Bernard Stefani. An Abstract Machine for a Higher-Order
  Distributed Process Calculus. In Proc. EATCS Workshop on Foundations 
  of Wide Area Network Computing (F-WAN'02), Electronic Notes in Theoretical Computer Science, 
  Vol. 66(3), Malaga, Spain, 2002. Elsevier Science Publishers.
  Available electronically at http://mikado.di.fc.ul.pt/output/papers.php 

Best regards,

Marc 
*******************************************************************
 Marc Lacoste
 Distributed Systems Architecture Department
 Software Techniques Division (DTL/ASR)
 France Telecom R&D
 28, chemin du Vieux-Chêne
 BP 98 , 38243 Meylan Cedex France              
 Tel:      +33 4 76 76 41 67 
 Fax:     +33 4 76 76 45 57
 E-mail: marc.lacoste@xxxxxxxxxxxxxxxxxxxx
******************************************************************* 



-----Message d'origine-----
De : Andrew Phillips [mailto:anp@xxxxxxxx]
Envoyé : vendredi 4 juillet 2003 23:06
À : moca@xxxxxxxxxxxxxxx
Objet : [moca] Pointers on correct abstract machines for calculi with
nested locations


I would be grateful for any pointers to work on abstract machines for
process calculi with nested locations. In particular, abstract machines
that have been proven correct, in addition to the work below.

A distributed abstract machine for Safe Ambients ,
D. Sangiorgi and A. Valente. (ICALP 2001)

An Asynchronous, Distributed Implementation of Mobile Ambients, with
Jean-Jacques Lévy and Alan Schmitt. (IFIP TCS 2000)

Regards,
Andrew


  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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