| 
|
Quote: when does a property hold whether or not a statement is interruptible?
topics >
all references >
references i-l >
Topic:
proving concurrent programs
Quotation Skeleton
Suppose that P is a parallel program and … some property .Sigma. as long as the statement … In contrast to (1), it is usually not … considered in this paper is: When are assertions … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)