| 
|
QuoteRef: chanKM7_1980
topics >
all references >
ThesaHelp:
references c-d
Topic:
proving concurrent programs
Topic:
communicating sequential processes
Topic:
parameter passing by message
Reference
Chandy, K.M., Misra, J., "A simple model of distributed programs based on implementation-hiding and process autonomy ", SIGPLAN , 15, 7, pp. 26-35 , July 1980 . Google
26 ;;Quote: process autonomy--each component of a distributed program should be designed and proved separately; can not name other processes
27 ;;Quote: a concurrent language needs simple constructs that guarantee determinism; usually not true of message communication systems
ThesaHelp: references c-d (337 items)
Topic: proving concurrent programs (37 items)
Topic: communicating sequential processes (33 items)
Topic: parameter passing by message (31 items)