Item Details

Print View

An Investigation of Models of Concurrent Programs

OHallaron, David; Reynolds, Paul
Format
Report
Author
OHallaron, David
Reynolds, Paul
Abstract
Reynolds has proposed an interesting new approach to verifying concurrent programs, called static incremental deadlock detection, where deadlock potential is automatically detected during the interactive construction of a concurrent program, before the program is ever run. In order to perform efl"ective static incremental deadlock detection. we will require accurate models that can be analyzed efficiently. Towards this end. we investigate three existing classes of models: algebraic models, geometric models, and Petri net models. We report new results related to the accuracy of algebraic and geometric models, and we report new results on the efficient analysis of Petri net models. Finally, we use our results to derive a technique for performing elfective static incremental deadlock detection on a subclass of concurrent programs. Note: Abstract extracted from PDF file via OCR
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 1986
Published Date
1986
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online