Go backward to A Process Calculus
Go up to Top
Go forward to Behavior Descriptions
A Simple Example
- Agent
- Dynamic system is network of agents.
- Each agent has own identity persisting over time.
- Agent performs actions (external communications or internal
actions).
- Behavior of a system is its (observable) capability of
communication.
- Agent has labeled ports.
- Input port in.
- Output port out.
- Behavior of :
- := in().
- := out().
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine