Formal Methods in Programming and Their Applications

Volume 735 of the series Lecture Notes in Computer Science pp 267-280


A unique formalism for specifying and designing objects in a parallel environment

  • J. P. BahsounAffiliated withIRIT
  • , C. ServieresAffiliated withIRIT
  • , C. SeguinAffiliated withONERA-CERT

* Final gross prices may vary according to local VAT.

Get Access


When objects are put in a parallel environment, new problems appear. Constraints on methods may change, the composition and extension of objects is more difficult. We introduce a concurrent object concept to implement solutions of these problems in object-oriented languages. A formalization of this concept and proofs of properties are built up in a Multimodal Logic of Actions. We terminate this paper by a discussion about the proof of inheritance properties in a parallel environment.