Cliff Jones object-based method for formal development of concurrent programs
La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents
Résumé
This paper presents a synthesis of Cliff Jones works on the compositional development of concurrents programs by using some object oriented concepts. It describes two development methods: one for systems with few concurrency where interfenrences are limited, the other for complex systems. Two semantics of the design language are given: a
structured operational semantics and a pi-calculus semantics.
Le papier présente une synthèse des travaux de Cliff Jones sur le développement compositionnel de programmes concurrents en utilisant des concepts orientés objet. Il décrit deux méthodes de développement.: l'une pour les systèmes peu concurrents où les risques d'interférences sont limités, l'autre pour des systèmes complexes. Deux sémantiques sont attribuées au langage de conception.: une sémantique opérationnelle structurée et une sémantique dans le pi-calcul.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...