2013 Team Activity Report
LOGNET
Logical Networks: Self-organizing Overlay
Networks and Programmable Overlay Computing Systems
Research centre:
Sophia Antipolis - Méditerranée
Keywords: Network Protocols, Peer-to-peer, Social Networks, Type Systems, Proof Theory