From inca!Jim.Davies Thu Jun 24 14:43:29 BST 1993 Article: 942 of comp.specification.z Newsgroups: comp.specification.z Path: comlab.ox.ac.uk!inca!Jim.Davies From: Jim.Davies@comlab.ox.ac.uk (A Wooden Fish on Wheels) Subject: LaTeX styles for Z and CSP Message-ID: Organization: Foundations for the Laboratory of Computer Science, Oxford Date: 24 Jun 93 14:25:26 The CSP/ftp package at the Oxford ftp archive now contains a style file for typesetting both CSP _and_ Z notation in the same document. For those not using CSP, the style file provides all the functionality of Mike Spivey's "zed.sty", _but_ uses the current AMS symbol fonts _and_ supports the New Font Selection Scheme. The "readme" file from the archive is included below. Jim p.s. Thanks are due to Mike Spivey for permission to re-use his macro definitions. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%% the CSP ftp package %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% This is the file "00.readme" from the directory "/pub/CSP" on the anonymous ftp archive "ftp.comlab.ox.ac.uk", IP number "192.76.25.2" %%%%%%%%%% information %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The CSP ftp package consists of * LaTeX files and fonts for producing CSP documents * SliTeX format files and slides from seminars on CSP * a selection of papers on CSP and timed CSP Comments, suggestions, and questions about CSP should be addressed to "csp-request@comlab.ox.ac.uk" %%%%%%%%%% Files and Directories %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 00.files list of filenames 00.readme introduction (this file) BibTeX CSP bibliography FDR link to the FDR package Fonts the CSP metafont LaTeX LaTeX styles for CSP Papers PostScript versions of CSP papers Parser the CSP parser package Probability papers concerning probabilistic CSP Pravda Probabilistic Refinement (a very dodgy acronym) SliTeX SliTeX format and extra fonts for CSP %%%%%%%%%% BibTeX %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%% FDR package %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (link) maintenance files and documentation for the FDR refinement tool (see 00.readme in the FDR directory) %%%%%%%%%% Fonts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% mf metafont source pk pk bitmaps tfm font metrics %%%%%%%%%% LaTeX %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% csp.sty CSP macros cspguide.tex guide to CSP macros csp_ams.sty use extra fonts (AMS) csp_csp.sty use extra fonts (CSP and AMS) csp_luc.sty use Lucida fonts csp_old.sty \ cspfont.sty - backwards compatability cspx.sty / csp_zed.sty CSP and Z macros luc_math.sty extra file for LucidaNewMath zguide.tex Mike Spivey's guide to Z macros %%%%%%%%%% Papers %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% history.ps a brief history of timed CSP concur.ps using CSP to verify a timed protocol over a fair medium opsem.ps an operational semantics for timed CSP protocol.ps using CSP to verify a reliable network protocol recursion.ps recursion induction for real-time processes oxford.ps using CSP to verify a timed protocol... (slides) %%%%%%%%%% Parser %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% version1.0\ version 1.0 of a yacc-based CSP parser doc documentation (TeX and PostScript) src source code (ANSI-C) %%%%%%%%%% Pravda %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% pravda probabilistic refinement checker (ML executable) pravda.ps.Z documentation (compressed PostScript) protocol.pcsp \ abp.pcsp - examples simple.pcsp / %%%%%%%%%% Probability %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% models.ps prioritized and probabilistic models of timed CSP thesis.ps probabilities and priorities in timed CSP %%%%%%%%%% SliTeX %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% csplain.tex SliTeX format csfonts.tex SliTeX font loading cslitex SliTeX shell script cformat shell script to make format vf virtual fonts for color slides vpl source for virtual fonts %%%%%%%%%% Sources %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LaTeX sources for selected papers from the "Papers" directory %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%% end of 00.readme %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% --