1) Foreword
2) Clause 0 – Introduction
3) Clause 1 – Scope
4) Clause 2 – Normative references
5) Subclause 3.2 – Definitions from
ITU-T Recommendation Z.100
6) Subclause 3.3 – Definitions from
the Z-Base Standard
7) Annex A
Annex A – Computational Formalization
A.1 Formalization of the Computational
Viewpoint Language in LOTOS
A.2 Formalization of the Computational
Viewpoint Language in SDL
A.3 Formalization
of the Computational Viewpoint Language in Z
A.4 Formalization of the Computational
Viewpoint Language in ESTELLE