The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
AP2PS '09 Proceedings of the 2009 First International Conference on Advances in P2P Systems
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Comparing BitTorrent clients in the wild: the case of download speed
IPTPS'10 Proceedings of the 9th international conference on Peer-to-peer systems
Rodin: an open toolset for modelling and reasoning in Event-B
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on VSTTE 2008
Coordination and concurrency in multi-engine prolog
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Formal derivation of a distributed program in event B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Supporting reuse in event b development: modularisation approach
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
A hybrid visual dataflow language for coordination in mobile ad hoc networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Compositional construction of real-time dataflow networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Hi-index | 0.00 |
Peer-to-peer networks and other many-to-many relations have become popular especially for content transfer. To better understand and trust these types of networks, we need formally derived and verified models for them. Due to the large scale and heterogeneity of these networks, it may be difficult and cumbersome to create and analyse complete models. In this paper, we employ the modularisation approach of the Event-B formalism to model the separation of the functionality of each peer in a peer-to-peer network from the network structure itself, thereby working towards a distributed, formally derived and verified model of a peer-to-peer network. As coordination aspects are fundamental in the network structure, we focus our formalisation effort in this paper especially on these. The resulted approach demonstrates considerable expressivity in modelling coordination aspects in peer-to-peer networks.