CoNeCo: Concurrency, Networks and Coinduction (Version intégrée)