LIP6 1998/008

• Reports «La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents»
• B. Mammass
• 47 pages - 03/16/1998 - document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.008.ps.gz 102 Ko
• Contact Brahim.Mammass (at) nulllip6.fr
• Ancien Thème : SPI
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.