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

[moca] Paper announcement

To: moca@xxxxxxxxxxxxxxx
Subject: [moca] Paper announcement
From: Ole Hoegh Jensen <ohj@xxxxxxxxx>
Date: Mon, 6 Jan 2003 13:46:45 +0100 (MET)
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>

The final version of the POPL '03 paper "Bigraphs and Transistions" by
Robin Milner and myself is now available at

  http://www.cs.auc.dk/~ohj/papers/bigtranspopl03.ps.gz

(A preliminary version has been circulated on the list earlier.)

--
Ole H. Jensen
Aalborg University

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

Prev by Date: [moca] Re: methodology questions
Next by Date: [moca] synchronous implementation of Pi calculus with choice?
Previous by thread: [moca] Paper announcement
Next by thread: [moca] The Picasso tool
Index(es):
- Date
- Thread