Extending the theory of Owicki and Gries with a logic of progress

Details Extending the theory of Owicki and Gries with a logic of progress Extending the theory of Owicki and Gries with a logic of progress

2005-12-03

arxiv.org/abs/cs/0512012v3

LMCS 2 (1:6) 2006

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-2(1:6)2006

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Affiliated with

Also associated with

No associations

Rating

Extending the theory of Owicki and Gries with a logic of progress does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extending the theory of Owicki and Gries with a logic of progress, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extending the theory of Owicki and Gries with a logic of progress will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-113459