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