- Algebraic approach to semantics of parallel programs.
- Processes are algebraic terms.
- Calculus for term manipulation preserving equality.
- Main interest: how do processes interact with each other?

- Central notions:
- Strong bisimilarity: equivalence even for internal actions.
- Observation equivalence: equivalence only for observable actions.
- Observation congruence: equivalence preserved under all substitutions.

Wolfgang.Schreiner@risc.uni-linz.ac.at

$$Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine $$