Verification of Peer-to-Peer Algorithms: a Case Study.

R.R. Bakhshi; D. Gurov

doi:10.1016/j.entcs.2007.01.052

Verification of Peer-to-Peer Algorithms: a Case Study.

R.R. Bakhshi, D. Gurov

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	35-47
Journal	Electronic Notes in Theoretical Computer Science
Volume	181
DOIs	https://doi.org/10.1016/j.entcs.2007.01.052
Publication status	Published - 2007

Bibliographical note

Proceedings title: In Proc. Workshop on Coordination and Organization (CoOrg 2006) and Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
Publisher: Elsevier

Access to Document

10.1016/j.entcs.2007.01.052

Persistent URL (handle)

Copy link address

Cite this

@article{a8cf9caf9f89488d96755b9c3e9b7638,

title = "Verification of Peer-to-Peer Algorithms: a Case Study.",

author = "R.R. Bakhshi and D. Gurov",

note = "Proceedings title: In Proc. Workshop on Coordination and Organization (CoOrg 2006) and Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) Publisher: Elsevier",

year = "2007",

doi = "10.1016/j.entcs.2007.01.052",

language = "English",

volume = "181",

pages = "35--47",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Verification of Peer-to-Peer Algorithms: a Case Study.

AU - Bakhshi, R.R.

AU - Gurov, D.

N1 - Proceedings title: In Proc. Workshop on Coordination and Organization (CoOrg 2006) and Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) Publisher: Elsevier

PY - 2007

Y1 - 2007

U2 - 10.1016/j.entcs.2007.01.052

DO - 10.1016/j.entcs.2007.01.052

M3 - Article

SN - 1571-0661

VL - 181

SP - 35

EP - 47

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -