[moca] Re: RE: RE : synchronous implementation of Pi calculus with choice?

[Fabrice Le Fessant <fabrice@xxxxxxxxxxxxx>]

> Are all these asynchronous implementations sacrificing descriptive
> power for ease of implementation or is the full semantics
> unnecessary ?

Ease of implementation ? Distributed Consensus has been proved to be
*impossible* to satisfy (FLP85) in an asynchronous(without limits)
system with simple crash failures. Of course, you can implement it
with timing assumptions, but then, your system will only be useful in
LANs under light pressure.

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