Modelling Multi-Threading in Java

T
TOOLS
1997
Technology of Object-Oriented Languages and Systems - Tools-25
Abstract - Modelling Multi-Threading in Java

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Axel Wabenhorst Articles by John Potter

Technology of Object-Oriented Languages and Systems - Tools-25

Melbourne, Austrailia

November 24-November 28

ISBN: 0-8186-8485-2

	ASCII Text	x
	Axel Wabenhorst, John Potter, "Modelling Multi-Threading in Java," Technology of Object-Oriented Languages, International Conference on, pp. 153, Technology of Object-Oriented Languages and Systems - Tools-25, 1997.

	BibTex	x
	@article{ 10.1109/TOOLS.1997.681868, author = {Axel Wabenhorst and John Potter}, title = {Modelling Multi-Threading in Java}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8485-2}, pages = {153}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681868}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Modelling Multi-Threading in Java SN - 0-8186-8485-2 SP EP A1 - Axel Wabenhorst, A1 - John Potter, PY - 1997 KW - Java KW - objects KW - deadlock KW - multi-threading KW - formal methods KW - refinement KW - action systems. VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -

Axel Wabenhorst, University of Queensland

John Potter, Macquarie University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681868

We show how formal methods can be used to model multi-threading in Java and provide useful insights into developing programs using multi-threaded objects. In particular, we will give an example of how deadlock can be avoided. The formalism used is that of action systems.

Index Terms:

Java, objects, deadlock, multi-threading, formal methods, refinement, action systems.

Citation:

Axel Wabenhorst, John Potter, "Modelling Multi-Threading in Java," tools, pp.153, Technology of Object-Oriented Languages and Systems - Tools-25, 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.