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

[moca] Re: [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms"

To: moca@xxxxxxxxxxxxxxx, concurrency@xxxxxx
Subject: [moca] Re: [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms"
From: Uwe.Nestmann@xxxxxxx
Date: 12 Feb 2004 00:05:57 +0100
In-reply-to: <yorpad3pb7z7.fsf@lamppc35.epfl.ch>
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>
References: <yorpad3pb7z7.fsf@lamppc35.epfl.ch>
Sender: uwe@xxxxxxxxxxxxxxxx
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3

[ copy & paste error ] 

Paper 1 was also co-authored by Massimo Merro (Verona).

Title:   Modeling Consensus in a Process Calculus
Authors: Uwe Nestmann, Rachele Fuzzati, Massimo Merro
URL:     http://lampwww.epfl.ch/~uwe/doc/nestmann.fuzzati.merro-concur03.pdf


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

References:
- [moca] [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms"
  - From: Uwe . Nestmann

Prev by Date: [moca] Questions on congruences and preorders
Next by Date: [moca] [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms"
Previous by thread: [moca] [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms"
Next by thread: [moca] Questions about the spi calculus
Index(es):
- Date
- Thread