Quote: specify atomic operations for concurrent programs by angle brackets, e.g., ' := '

Quotation Skeleton

To specify which of these possibilities we mean, … in the statement := : one at … immediately after a statement is not in that … x+1. 2. Setting x equal to this value. …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: proving concurrent programs (37 items)