• DocumentCode
    2144973
  • Title

    Modelling multi-threading in Java

  • Author

    Wabenhorst, Axel ; Potter, John

  • Author_Institution
    Sch. of Inf. Technol., Queensland Univ., Brisbane, Qld., Australia
  • fYear
    1997
  • fDate
    24-28 Nov 1997
  • Firstpage
    153
  • Lastpage
    164
  • Abstract
    We show how formal methods can be used to model multithreading in Java and provide useful insights into developing programs using multithreaded objects. In particular, we give an example of how deadlock can be avoided. The formalism used is that of action systems
  • Keywords
    concurrency control; formal specification; object-oriented languages; parallel programming; system recovery; Java; action systems; deadlock; formal methods; multi-threading modelling; multithreaded objects; multithreading; Algebra; Australia; Concurrent computing; Information technology; Java; Object oriented modeling; Programming profession; System recovery; Testing; Yarn;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings
  • Conference_Location
    Melbourne, Vic.
  • Print_ISBN
    0-8186-8485-2
  • Type

    conf

  • DOI
    10.1109/TOOLS.1997.681868
  • Filename
    681868
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2144973