Map
Index
Random
Help
th

QuoteRef: chanKM7_1980

topics > all references > ThesaHelp: references c-d



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

Quotations
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


Related Topics up

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)

Collected barberCB 4/82
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.