Coroutines and Networks of Parallel Processes
Résumé
Les concepts de coroutine et de processus interviennent dans une grande variété d'applications, où il est en général nécessaire de produire ou de transformer des données de façon progressive. Nous présentons un langage, fondé sur une vue sémantique précises de l'interaction entre processus, qui facilite la programmation de réseaux de processus qui évoluent dynamiquement. Ces réseaux ont un comportement externe unique, qu'ils soient exécutés de manière séquentielle ou parallèle. Les avantages d'une sémantique dénotationelle simple sont illustrés par des preuves de programmes. Ce langage de programmation permet aussi de clarifier les relations entre plusieurs concepts : coroutines, appel par nécessité, structures de données dynamiques et calcul parallèle.
Domaines
Autre [cs.OH]
Origine : Fichiers produits par l'(les) auteur(s)