Formal Techniques for Distributed Objects, Components, and Systems

Le livre "Techniques Formelles pour Objets, Composants et Systèmes Distribués" documente les actes de la 39e Conférence Internationale de la WG 6.1 de l'IFIP, qui s'est tenue en juin 2019 à Copenhague, au Danemark. Cette conférence fait partie de la 14e Conférence Internationale Fédérée sur les Techniques de Calcul Distribué, DisCoTec 2019. Ce volume contient 15 articles complets et 3 contributions courtes, soigneusement sélectionnés parmi 42 travaux soumis. La conférence se consacre à la recherche fondamentale sur les théories, modèles, outils et applications pour les systèmes distribués. Les sujets abordés sont essentiels pour le développement et la compréhension des objets et composants distribués dans les systèmes modernes.