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

semantics of objects

To: moca@xxxxxxxxxxxxxxx
Subject: semantics of objects
From: Davide Sangiorgi <Davide.Sangiorgi@xxxxxxxxxxxxxxx>
Date: Wed, 28 Feb 2001 14:46:55 +0100 (MET)
List-help: <mailto:sympa@sophia.inria.fr?subject=help>
List-owner: <mailto:moca-request@sophia.inria.fr>
List-post: <mailto:moca@sophia.inria.fr>
List-subscribe: <mailto:sympa@sophia.inria.fr?subject=subscribe%20moca>
List-unsubscribe: <mailto:sympa@sophia.inria.fr?subject=unsubscribe%20moca>


i am looking for pointers to work on the semantics of objects using
process calculi. I am aware of the work of Vaandrager, Jones, Walker,
and people in Inria Sophia. What else?

Thanks,
Davide

  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html

Prev by Date: paper announcement
Next by Date: Dynamic binding
Previous by thread: paper announcement
Next by thread: Re: semantics of objects
Index(es):
- Date
- Thread