|
VU-DARE >
5. Theses / Addresses >
Doctoral Theses - Sciences >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1871/18387
|
| Title: | Gossiping Models: Formal Analysis of Epidemic Protocols |
| Author(s): | Bakhshi, R. |
| Keywords: | gossip protocols
formal modelling techniques
mean-field analysis
markov chains
differential equations
model checking |
| Issue date: | 13-Jan-2011 |
| Publisher: | Amsterdam: Vrije Universiteit |
| Appears in Collections: | Doctoral Theses - Sciences
|
Files in This Item:
| | | NOTICE: Chapters under embargo will not be shown. For the paper version click on VUlink,
then click Catalogue UB. | | |
Items in VU-DARE are protected by copyright, with all rights reserved, unless otherwise indicated.
|
