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.
• Keywords : formal Development, concurrent programs, compositionality, object-based, operational semantics, pi-calculus
• Publisher : David.Massot (at) nulllip6.fr