I recently announced the availability of "Transition and Cancellation in Concurrency and Branching Time" in gzipped Postscript as http://boole.stanford.edu/pub/seqconc.ps.gz While I don't know about the members of this list, in general people nowadays seem better set up to handle Adobe's PDF than Postscript. I've therefore converted the paper to PDF using dvipdfm (a lot less hassle than the extensive preparation required for good results from Acrobat Distiller). To read it directly from your browser, visit http://chu.stanford.edu/ and click on the first item, SEQCONC. The way I've set it up (in http://chu.stanford.edu/seqconc.html) probably could do with some tuning, so I'd appreciate hearing about any problems you run into or suggestions for changes to seqconc.html. Vaughan Pratt 30-Apr-2002 18:47:57 -0300,2883;000000000001-00000000