—SEC. 05 — Z

Z

Subcategories1

Indexed links2

Direct links1

Total subtree1

— SEC. 01
Subcategories

Browse by subcategory.

01
Books
1 linksBrowse

— SEC. 02
Listings

All links in this category.

Showing 1–2 of 2 editor-approved links.

Showing 2 on this page

TCOZ Page

www.comp.nus.edu.sg

Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.

Added May 10, 2026

Books

The Z Notation: A Reference Manual

spivey.oriel.ox.ac.uk

J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. Description, free downloads: PostScript, PDF, LaTeX. [University of Oxford]

Added May 10, 2026