abstract ;;Quote: distributed processes communicate and synchronize by remote procedure calls

abstract+;;Quote: distributed processing is concurrent processing without common variables

934 ;;Quote: a real-time program must respond to nondeterministic requests within a time limit; otherwise drop input or cancel output

934 ;;Quote: a real-time program consists of a fixed number of concurrent processes that do not share variables

935 ;;Quote: processes communicate by calling common procedures in another process; executed when processes are waiting for a condition

935 ;;Quote: to satisfy real-time constraints, dedicate each processor to a single process

935 ;;Quote: a process interleaves its initial statement and external requests by other processes; it may delay an operation until a condition becomes true

935 ;;Quote: a distributed process communicates by a remote procedure call to another process waiting in a guarded region

935+;;Quote: a process delays when it makes an external request or when all operations are delayed within guarded regions

935 ;;Quote: a process only guarantees execution of some unfinished operation; does not guarantee completion of operations

935 ;;Quote: a guarded command enables non-deterministic choice between several statements; errors or skips if none true

936 ;;Quote: a guarded region waits until its guard is true; may execute once or repeatedly

QuoteRef: brinP11_1978 ;;936 implements semaphores/message buffer,resource scheduler,process arrays, abstract data types, monitor, coroutines, path expressions

940 ;;Quote: pass parameters between processors by an input operation before execution and an output operation at termination