Modelling BitTorrent-like Streaming Piece Selection with Event-B

^*Corresponding author for this work

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

Original language	English
Title of host publication	roceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
Place of Publication	Turku, Finland
Publisher	Åbo Akademi University
Pages	82-84
Publication status	Published - 2010
MoE publication type	B3 Non-refereed article in conference proceedings

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Project: Research

Cite this

@inproceedings{4cab2623d52f488e80113b054820f8cd,

title = "Modelling BitTorrent-like Streaming Piece Selection with Event-B",

author = "Petter Sandvik and Kaisa Sere and Marina Walden",

year = "2010",

language = "English",

pages = "82--84",

booktitle = "roceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010",

publisher = "{\AA}bo Akademi University",

address = "Finland",

}