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

^*Korresponderande författare för detta arbete

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
Utgivningsort	Turku, Finland
Förlag	Turku Centre for Computer Science (TUCS)
Sidor	82-84
Volym	57
Status	Publicerad - 2010
MoE-publikationstyp	B3 Ej refererad artikel i konferenshandlingar

Publikationsserier

Namn	TUCS General Publication
Förlag	TUCS
Nummer	57
ISSN (tryckt)	1239-1905

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
Projekt: FA/Övriga Forskningsråd

Citera det här

@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. s. 82-84 (TUCS General Publication; Nr. 57).

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig

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

Publikationsserier

Projekt

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Citera det här