Go backward to
A Process Calculus
Go up to
Top
Go forward to
Behavior Descriptions
A Simple Example
Agent
C
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
C
:
C
:=
in
(
x
).
C'(x)
C'(x)
:=
out
(
x
).
C
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998