| 
|
Quote: a concurrent language needs simple constructs that guarantee determinism; usually not true of message communication systems
topics >
all references >
references c-d >
Topic:
proving concurrent programs
Topic:
communicating sequential processes
Topic:
parameter passing by message
Quotation Skeleton
Message communication systems are usually inherently non-deterministic. … A language must have simple constructs, which if … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)
Topic: communicating sequential processes (33 items)
Topic: parameter passing by message (31 items)