Next:
Introduction
Deliverable 3
C
OMMON
M
ODEL
D
ESCRIPTION
L
ANGUAGE
Year 1 : October 2000 - September 2001
Date of preparation:
October 2001
Contributors: Grenoble
Introduction
Extended Automata
Design Decisions
Examples
Parallel Server
File System
Token Ring Protocol
Discussion
Structure
System
Process
Signalroute
Signal
Behaviour
State
Transition
Action
Data
Constant
Type
Variable
Expression
Constraint
External
Procedure
About this document ...