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

Re: [moca] Locations?

Only a part of the programme envisaged by us about 10 years ago (and
enhanced substantially by others) has been studied -- for instance, only
stop/crash models for failure have been explored,


communication failures such as message loss or message duplication have
also been looked at. which other failure models do you propose?

and the general framework of "unit of resource allocation" deserve a 
> lot more work.

that sounds interesting. would you care to expand? what do you
consider a resource and what does it mean for allocations to happen
within the confines of a resource allocation unit?

Published in the 90s, actually.  There is an excellent survey
on localities by Ilaria Castellani in Handbook of Process Algebras.


but its not available online, which pretty much means that her article does
not exist!

for me anyway ...

martin

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