36 ;;Quote: the aim of occam is to describe arbitrarily large systems in terms of localized processing and communication

36 ;;Quote: designed occam for efficiency in an distributed implementation; same program is then also valid for a single computer

36+;;Quote: many concurrent languages simulate concurrency on a sequential machine; may be poor for real concurrency

37 ;;Quote: primitive occam processes for assigning values to variables, outputing value to channel, and inputting values from channel

37 ;;Quote: combine occam process by sequence, conditional, parallel, or alternative

38 ;;Quote: synchronized communication simplifies programming, no buffers, efficient, data not lost, one process waits for the other

38 ;;Quote: with unsynchronized communication, failure to acknowledge data can lead to timing effects

42 ;;Quote: time in occam represented by a counter; different parts of a program may use different timers; easier than global time

69 ;;Quote: occam has a formal semantics; used an interactive transformation system to prove that an occam program satisfied the IEEE floating point standard