https://e-sygoing.link Latest links in the Z category en-us Tue, 09 Jun 2026 18:37:24 -0400 https://e-sygoing.link/link/5650494-community-z-tools-initiative-czt Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses. Mon, 28 Jul 2025 21:30:40 -0400 https://e-sygoing.link/go/5650494 https://e-sygoing.link/link/5650496-object-z-page Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference. Tue, 13 Aug 2024 12:57:23 -0400 https://e-sygoing.link/go/5650496 https://e-sygoing.link/link/5650497-tcoz-page 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. Wed, 15 May 2024 11:51:54 -0400 https://e-sygoing.link/go/5650497