| 
|
Quote: a process specified by 'P .upendedBox. Q' can be implemented by building either P or Q; non-deterministic
topics >
all references >
references g-h >
Topic:
calculus of communicating processes
Topic:
requirement specification by function
Topic:
non-deterministic processing
Quotation Skeleton
The main advantage of nondeterminism is in specifying … or by building Q. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: the main advantage of nondeterminism is in specifying a process; allows either implementation
Topic: calculus of communicating processes (13 items)
Topic: requirement specification by function (20 items)
Topic: non-deterministic processing (19 items)