| 
|
QuoteRef: chowTS_1978
topics >
all references >
ThesaHelp:
references c-d
Topic:
communicating sequential processes
Topic:
interprocess communication
Topic:
deadlocks
Topic:
race conditions
Topic:
remote procedure call
Reference
Chow, T.S., "Analysis of software design modeled by multiple finite state machines", COMPSAC, pp. 169-174, 1978. Google
QuoteRef: chowTS_1978 ;;169 "Each process interacts not only with other processes within the system but also with other systems by sending or receiving messages.
169 ;;Quote: for meaningful, interprocess communication need: no livelock, no deadlock, all messages handled, concurrency is order independent, serialization
170 ;;Quote: if an interprocess message is produced, only its receiver can continue processing
170 ;;Quote: an oscillating state occurs when communicating processes can not produce a system output message
ThesaHelp: references c-d (337 items)
Topic: communicating sequential processes (33 items)
Topic: interprocess communication (29 items)
Topic: deadlocks (21 items)
Topic: race conditions (30 items)
Topic: remote procedure call (44 items)