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

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

To: moca@xxxxxxxxxxxxxxx
Subject: [moca] Pointers on correct abstract machines for calculi with nested locations
From: Andrew Phillips <anp@xxxxxxxx>
Date: Fri, 04 Jul 2003 22:05:42 +0100
List-help: <mailto:sympa@lists-sop.inria.fr?subject=help>
List-id: <moca.lists-sop.inria.fr>
List-owner: <mailto:moca-request@lists-sop.inria.fr>
List-post: <mailto:moca@lists-sop.inria.fr>
List-subscribe: <mailto:sympa@lists-sop.inria.fr?subject=subscribe%20moca>
List-unsubscribe: <mailto:sympa@lists-sop.inria.fr?subject=unsubscribe%20moca>
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01

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

Follow-Ups:
- [moca] Locations?
  - From: martinb

Prev by Date: [moca] Seal Calculus paper announce
Next by Date: [moca] Locations?
Previous by thread: [moca] Seal Calculus paper announce
Next by thread: [moca] Locations?
Index(es):
- Date
- Thread