Modelling BitTorrent-like Streaming Piece Selection with Event-B

Petter Sandvik*, Kaisa Sere, Marina Walden

*Corresponding author for this work

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationProceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
Place of PublicationTurku, Finland
PublisherTurku Centre for Computer Science (TUCS)
Pages82-84
Volume57
Publication statusPublished - 2010
MoE publication typeB3 Non-refereed article in conference proceedings

Publication series

NameTUCS General Publication
PublisherTUCS
Number57
ISSN (Print)1239-1905

Cite this