Coordination Models and Languages

Le livre "Modèles et Langages de Coordination" documente les actes de la 18ème Conférence Internationale sur les Modèles et Langages de Coordination, qui s'est tenue en juin 2016 à Héraklion, en Crète. Cette conférence faisait partie de la 11ème Conférence Internationale Fédérée sur les Techniques Informatiques Distribuées, DisCoTec 2016. Ce volume contient 16 contributions complètes, soigneusement sélectionnées parmi 44 travaux soumis. Les sujets abordés couvrent un large éventail de techniques et d'approches pour la coordination des systèmes, ce qui fait de ce livre une ressource précieuse pour les professionnels et les chercheurs dans le domaine de l'informatique. Les thèmes traités vont des abstractions de programmation et de communication aux protocoles de communication et aux types de comportements, en passant par les modèles probabilistes et la vérification formelle. Cette diversité de sujets offre un aperçu complet des développements et des défis actuels dans le domaine de la coordination des systèmes.