Konversationssysteme: Ein neuer Ansatz zur Unterstützung von Gruppenarbeit

Le modele propose poursuit deux objectifs : 1) fournir un modele conceptuel d'un systeme multi-utilisateurs capable de traiter differents types de cooperation d'une maniere integree et 2) servir de base a des methodes de specification formelle pouvant etre utilisees pour la verification et la generation automatique de logiciels multi-utilisateurs