1
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays -- Brief...

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Explicit Legitimate State -- Algorithmic Verification of Population Protocols -- Energy Management for Time...