Extending the theory of Owicki and Gries with asynchronous message passing

Goldson, D. W. (2003). Extending the theory of Owicki and Gries with asynchronous message passing. In: D. Azada, Proceedings of the Tenth Asia Pacific Software Engineering Conference. Tenth Asia Pacific Software Engineering Conference 2003, Chiang Mai, Thailand, (532-541). 10-12 December 2003. doi:10.1109/APSEC.2003.1254408


Author Goldson, D. W.
Title of paper Extending the theory of Owicki and Gries with asynchronous message passing
Conference name Tenth Asia Pacific Software Engineering Conference 2003
Conference location Chiang Mai, Thailand
Conference dates 10-12 December 2003
Proceedings title Proceedings of the Tenth Asia Pacific Software Engineering Conference
Place of Publication Los Alamitos, CA, U.S.A.
Publisher IEEE Computer Society
Publication Year 2003
Sub-type Fully published paper
DOI 10.1109/APSEC.2003.1254408
ISBN 0-7695-2011-1
Editor D. Azada
Start page 532
End page 541
Total pages 10
Collection year 2003
Language eng
Abstract/Summary We describe an extension of the theory of Owicki and Gries (1976) 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.
Subjects E1
280302 Software Engineering
700100 Computer Software and Services
Keyword Concurrency theory
Distributed programming
Formal verification
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 11:58:16 EST