CONTENTS

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