| 
|
Quote: use a formal specification for synchronization primitives on a multiprocessor; otherwise difficult questions about their precise semantics
topics >
all references >
references a-b >
Group:
requirement specification
Topic:
proving concurrent programs
Topic:
managing shared memory
Quotation Skeleton
The synchronization primitives of the Thread interface are … their precise semantics that are difficult to answer … Google-1 Google-2
Copyright clearance needed for quotation.
Group: requirement specification (11 topics, 306 quotes)
Topic: proving concurrent programs (37 items)
Topic: managing shared memory (74 items)