| 
|
Quote: Sing# sends strongly typed messages over bidirectional channels; a state machine defines the channel's protocol
Topic:
communication protocols
Topic:
proving concurrent programs
Topic:
message queues for communication
Quotation Skeleton
[In Microsoft Research's Singularity] User processes obtain system services by sending … these channels. … Sing# fully supports channels in the language, including … [p. 50] A state machine specifies the protocol for … [For example,] … Pending state. The server can either respond with … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: communication protocols (62 items)
Topic: proving concurrent programs (37 items)
Topic: message queues for communication (36 items)