Announcement: Z and the World Wide Web

Z User Meeting - Cambridge, England, 29-30 June 1994

Information on the Z notation is held as part of the World Wide Web (WWW) global hypermedia Virtual Library under the following URL (Uniform Resource Locator):

http://www.afm.sbu.ac.uk/z/

Please email Jonathan Bowen if you know of relevant on-line information which could be included.

Underlined phrases are hyperlinks to other URLs, which may be anywhere in the world on the Internet computer network. These may be accessible via anonymous FTP, NNTP (USENET news), Gopher, WAIS, Telnet, or WWW's own HTTP protocol, using HTML, a mark-up language based on SGML. Files may be in HTML format, PostScript (formatted documents), DVI (LaTeX output), GIF (colour images), XBM (black and white images), JPEG (compressed colour images), MPEG (moving colour images), Sun audio (sounds), etc., and may be compressed using the compress or gzip utilities. Different formats are handled by appropriate programs on the host machine.

WWW client programs include mosaic or xmosaic for use under X windows and lynx for use on ASCII terminals under Unix. Client programs are also available for use under MS-Windows on PCs and on Apple Macintosh computers. Contact your system manager if WWW is not accessible from your computer.

Currently there are around 20 million people with Internet access and the number is doubling each year. WWW usage has been estimated to be increasing at 11% per week!

Part of the SBU Museophile archive maintained by Jonathan Bowen.

See also information on other formal methods available under:

http://www.afm.sbu.ac.uk/