| 
|
Quote: exported SPIN procedures are events; the event dispatcher uses a procedure call if there is only one handler
topics >
all references >
references a-b >
Topic:
event controlled processing
Quotation Skeleton
The right to call a procedure is equivalent … indistinguishable in SPIN, and any procedure exported by … [optimizes] event raise as a direct procedure call … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: event controlled processing (46 items)