Modelling BitTorrent-like Streaming Piece Selection with Event-B

Petter Sandvik; Kaisa Sere; Marina Walden

Modelling BitTorrent-like Streaming Piece Selection with Event-B

Petter Sandvik^*, Kaisa Sere, Marina Walden

^*Corresponding author for this work

Information Technology

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

Original language	English
Title of host publication	Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
Place of Publication	Turku, Finland
Publisher	Turku Centre for Computer Science (TUCS)
Pages	82-84
Volume	57
Publication status	Published - 2010
MoE publication type	B3 Non-refereed article in conference proceedings

Publication series

Name	TUCS General Publication
Publisher	TUCS
Number	57
ISSN (Print)	1239-1905

1 Finished

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",

volume = "57",

series = "TUCS General Publication",

publisher = "Turku Centre for Computer Science (TUCS)",

number = "57",

pages = "82--84",

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

}

Modelling BitTorrent-like Streaming Piece Selection with Event-B. / Sandvik, Petter; Sere, Kaisa; Walden, Marina.

Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010. Vol. 57 Turku, Finland : Turku Centre for Computer Science (TUCS), 2010. p. 82-84 (TUCS General Publication; No. 57).

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

TY - GEN

T1 - Modelling BitTorrent-like Streaming Piece Selection with Event-B

AU - Sandvik, Petter

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2010

Y1 - 2010

M3 - Conference contribution

VL - 57

T3 - TUCS General Publication

SP - 82

EP - 84

BT - Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010

PB - Turku Centre for Computer Science (TUCS)

CY - Turku, Finland

ER -

Modelling BitTorrent-like Streaming Piece Selection with Event-B

Publication series

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Cite this