CompSys705

Did a short review of last week's lecture. Short example on writing a CCS for a simple communicating process model. Suppression of internal signals through restriction.

Two types of semantics: operational (rules) and denotational (objects). External non-determinism: system makes a choice. Notion of concurrency is interleaved as it is assumed that asynchronous concurrency is employed by the system.

Relation

A subset of SxS
Let S = {1, 2}
Then SxS = {(1, 1), (1, 2), (2, 1), (2, 2)}
R = {(1, 1), (2, 2), (1, 2)}
Must be reflexive, symmetric and transitive.

Processes with the same trace set may not behave equivalently.

Homework: Poset, Preorder, Total order, Equivalence, Power set.

Sent from my iPod Touch