1. Scene Set --;2. Concurrency and Communication --;3. Message Passing --;4. Synchronous Calculus of Communicating Systems --;5. Equivalence --;6. Automating SCCS --;7. Proving Things Correct --;8. End End Note --;App. 1. Some of the More Useful SCCS Propositions --;App. 2. Notation Used Throughout the Book.
SUMMARY OR ABSTRACT
Text of Note
but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.