| 
|
Quote: process autonomy--each component of a distributed program should be designed and proved separately; can not name other processes
topics >
all references >
references c-d >
Topic:
proving concurrent programs
Quotation Skeleton
Each component of the distributed program should be … process autonomy is achieved; in particular, a process … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)