Formalization of Timethreads Using LOTOS
----------------------------------------

Daniel Amyot, October 25th, 1994.



This is the final version of my master's thesis. To print it, you:

	- decompress the file:  unzip amyot_msc.zip
	- send it to the PostScript printer:  lpr -Pyour_printer ftulotos.ps

The PostScript file is 6 Mb long, so allow enough space for it in your
account. Also, your printer spooler might not have that much space available,
so a simbolic link might be required:

	lpr -s -Pyour_printer ftulotos.ps 

The thesis is 214 pages long. You can print 2 pages per sheet using mpage:

	mpage -2 -b -Pyour_printer ftulotos.ps

If you plan to use ghostview to read the file, you might not be able to read
the appendices (pages 161-200) because of included EPS files.

If you have any comments, request or questions, please send me mail to

	damyot@csi.uottawa.ca


Daniel Amyot.

-- 
Daniel Amyot                            | e-mail: damyot@csi.uottawa.ca
Department of Computer Science          | phone : (613) 564-9439 (w)
University of Ottawa                    |         (819) 595-8682 (h)
150 Louis-Pasteur			|
Ottawa, Ontario, K1N 6N5  (Canada)      | fax   : (613) 564-9486