CS 5204

Review of Thursday Feb. 13, 1997

---

• A CCS agent is described both by a structural diagram and one or more algebraic equations.
• We have a set of Axioms that provides us with the mechanism for manipulating these equations.
• This allows us to generate a graph of all possible sequencs of actions.

We can apply our set of axioms to an actual set of equations as follows:

After generating the graph for two separate systems, we will be able to show equality using bi-simulation:

• Do the systems have the same behavior?
• Can all of the actions of either system be simulated on the other?
• Test the above questions using a finite set of finite trees representing each of the systems.
• This process is automated by the Concurrency Workbench.