Extending the theory of Owicki and Gries with asynchronous message passing

A
APSEC
2003
10th Asia-Pacific Software Engineering Conference (APSEC'03)
Abstract - Extending the theory of Owicki and Gries with asynchronous message passing

	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 Doug Goldson

10th Asia-Pacific Software Engineering Conference (APSEC'03)

Chiang Mai, Thailand

December 10-December 12

ISBN: 0-7695-2011-1

	ASCII Text	x
	Doug Goldson, "Extending the theory of Owicki and Gries with asynchronous message passing," Asia-Pacific Software Engineering Conference, pp. 532, 10th Asia-Pacific Software Engineering Conference (APSEC'03), 2003.

	BibTex	x
	@article{ 10.1109/APSEC.2003.1254408, author = {Doug Goldson}, title = {Extending the theory of Owicki and Gries with asynchronous message passing}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {2003}, isbn = {0-7695-2011-1}, pages = {532}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2003.1254408}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Extending the theory of Owicki and Gries with asynchronous message passing SN - 0-7695-2011-1 SP EP A1 - Doug Goldson, PY - 2003 KW - null VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

Doug Goldson, University of Queensland, Australia

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2003.1254408

This paper describes an extension of the theory of Owicki and Gries to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

Citation:

Doug Goldson, "Extending the theory of Owicki and Gries with asynchronous message passing," apsec, pp.532, 10th Asia-Pacific Software Engineering Conference (APSEC'03), 2003

Peer Review Notice | Give Us Feedback

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