Go up to Top
Go forward to A Simple Example
A Process Calculus
- Description of process networks
- Static communication topologies.
- History sketch
- Robin Milner, 1980.
- CCS: Calculus of Communicating Systems.
- Various revisions and elaborations.
- Extended to mobile processes (pi-calculus).
- Algebraic approach
- Concurrent system modeled by term.
- Theory of term manipulations.
- External behavior preserved.
- Observational equivalence
- External communications follow same pattern.
- Internal behavior may differ.
Modeling of communication and concurrency.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine