| 
|
Quote: data-driven programs simplify correctness proofs, use data streams instead of elements; queuing-network analysis, and microcomputer networks
topics >
all references >
references c-d >
Topic:
proving concurrent programs
Topic:
data-driven design
Quotation Skeleton
the data-driven approach has several attractive aspects. The … framework we can study programs which process 'streams' … are also determinate.) Queuing-network analysis can be used … The data-driven concept corresponds closely to such distributed … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)
Topic: data-driven design (41 items)