Go backward to Observation Congruence
Go up to Top
Go forward to References
Summary
- 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.
Modeling of systems that react with their environment.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine