J. R. Abrial, The B-Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

J. R. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

J. R. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/s10009-010-0145-y

J. R. Abrial, M. Butler, S. Hallerstede, and L. Voisin, An Open Extensible Tool Environment for Event-B, Lecture Notes in Computer Science, vol.4260, pp.588-605, 2006.
DOI : 10.1007/11901433_32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.290

R. Back and R. Kurki-suonio, Decentralization of Process Nets with Centralized Control, Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp.131-142, 1983.

N. Carriero and D. Gelernter, Data parallelism and Linda, Proceedings. Lecture Notes in Computer Science, vol.757, pp.145-159, 1992.
DOI : 10.1007/3-540-57502-2_45

B. Cohen, Incentives Build Robustness in BitTorrent In: 1st Workshop on Economics of Peer-to-Peer Systems, 2003.

B. Cohen, The BitTorrent Protocol Specification, 2008.

D. 'acunto, L. Meulpolder, M. Rahman, R. Pouwelse, J. Sips et al., Modeling and Analyzing the Effects of Firewalls and NATs in P2P Swarming Systems, IEEE International Symposium on Parallel & Distributed Processing, Workshops and PhD Forum (IPDPSW), 2010.

A. Iliasov, E. Troubitsyna, L. Laibinis, and A. Romanovsky, Formal Derivation of a Distributed Program in Event B, LNCS, vol.20, issue.3, pp.420-436, 2011.
DOI : 10.1007/s00165-007-0061-4

M. Iliofotou, G. Siganos, X. Yang, and P. Rodriguez, Comparing BitTorrent Clients in the Wild: The Case of Download Speed, Proceedings of the 9th International Workshop on Peer-to-Peer Systems (IPTPS '10). USENIX, 2010.

M. Kamali, L. Laibinis, L. Petre, and K. Sere, Self-Recovering Sensor-Actor Networks, Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, pp.47-61, 2010.
DOI : 10.4204/EPTCS.30.4
URL : http://arxiv.org/abs/1007.5091

S. Kemper, Compositional Construction of Real-Time Dataflow Networks, Lecture Notes in Computer Science, vol.6116, pp.92-106, 2010.
DOI : 10.1007/978-3-642-13414-2_7
URL : https://hal.archives-ouvertes.fr/hal-01054621

L. Carreton, A. D-'hondt, and T. , A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks, Lecture Notes in Computer Science, vol.6116, pp.76-91, 2010.
DOI : 10.1007/978-3-642-13414-2_6
URL : https://hal.archives-ouvertes.fr/hal-01054622

K. Lumme, L. Petre, P. Sandvik, and K. Sere, Towards Dependable H.264 Decoding, Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management, pp.325-337, 2011.

L. Petre, P. Sandvik, and K. Sere, A Modular Approach to Formal Modelling of Peerto-Peer Networks, Turku Centre for Computer Science (TUCS), 2012.

P. Sandvik and M. Neovius, The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming, 2009 First International Conference on Advances in P2P Systems, pp.198-202, 2009.
DOI : 10.1109/AP2PS.2009.39

P. Sandvik and K. Sere, Formal Analysis and Verification of Peer-to-Peer Node Behaviour, The Third International Conference on Advances in P2P Systems, pp.47-52, 2011.

H. Schulze and K. Mochalski, Ipoque Internet Study, 2008.

P. Tarau, Coordination and Concurrency in Multi-engine Prolog, Proceedings of the 13th International Conference on Coordination Models and Languages, pp.157-171, 2011.
DOI : 10.1145/337449.337465

M. Waldén and K. Sere, Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design 13, pp.5-35, 1998.

L. Yan, A Formal Architectural Model for Peer-to-Peer Systems Handbook of Peer-to-Peer Networking, pp.1295-1314, 2010.

L. Yan, J. Ni, M. Bubak, G. D. Van-albada, P. M. Sloot et al., Building a Formal Framework for Mobile Ad Hoc Computing, International Conference on Computational Science, pp.619-622, 2004.
DOI : 10.1007/978-3-540-24685-5_104