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 publicationroceedings of the 22nd Nordic Workshop on Programming Theory – NWPT 2010
Place of PublicationTurku, Finland
PublisherÅbo Akademi University
Publication statusPublished - 2010
MoE publication typeB3 Non-refereed article in conference proceedings

Cite this