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 proceeding › Conference contribution › Scientific

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

  • DIJON: Distributed Jointly Operating Networks (Academy of Finland)

    Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)

    01/01/08 → 31/12/11

    Project: Research Council of Finland/Other Research Councils

Cite this