 |
 | ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS199.ps.Z, 19930325
A Tutorial on Process Algebraic Specification Mantis H.M. Cheng July 24, 1992 |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS179.ps.Z, 19930325
Detecting Deadlocks in CCS Agents Using Petri Net Reduction Techniques M.H.M. Cheng and P. Rondogiannis Department of Computer Science University of Victoria, P.O.Box 3055 Victoria, BC Canada V8W 3P6 March 24, 1992 |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS200.ps.Z, 19930325
Protocol Specification in CCS Mantis H.M. Cheng July 30, 1992 |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS108.ps.Z, 19930531
Generating Permutations of a Bag by Interchanges Chun Wa Ko Centrum voor Wiskunde en Informatica Postbus 4079 1009 AB Amsterdam the Netherlands chun@cwi.nl Frank Ruskey y Department of Computer Science University of Victoria, P. O. Box 1700 Victoria, B. C. V8W 2Y2 CANADA fruskey@csr.uvic.ca |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS203.ps.Z, 19930531
Gray Codes from Antimatroids Gara Pruesse Department of Computer Science University of Toronto, Toronto, Ontario, M5S 1A1, Canada Frank Ruskey y Department of Computer Science University of Victoria, Victoria, B.C., V8W 2Y2, Canada May 27, 1993 |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS202.ps.Z, 19930531
Determining the Hamilton-Connectedness of Certain Vertex-Transitive Graphs Ming Jiang Frank Ruskey Department of Computer Science, University of Victoria Victoria, B.C., V8W 3P6, Canada |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS064.ps.Z, 19930531
Generating Binary Trees by Transpositions Frank Ruskey and Andrzej Proskurowski y May 27, 1993 |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS159.ps.Z, 19930531
GENERATING LINEAR EXTENSIONS FAST GARA PRUESSE AND FRANK RUSKEYy |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS131.ps.Z, 19930531
On Rotations and the Generation of Binary Trees Joan M. Lucas Department of Computer Science Rutgers University New Brunswick, New Jersey 08903 D. Roelants van Baronaigien y & Frank Ruskey z Department of Computer Science University of Victoria Victoria, B.C. V8W 2Y2, Canada |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS177.ps.Z, 19930531
A Gray Code for the Ideals of a Forest Poset Yasunori Koda and Frank Ruskey Department of Computer Science University of Victoria Victoria, B.C. V8W 3P6, Canada May 27, 1993 |
| ftp://www-csc.uvic.ca/pub/Tech-Reports/compressed-ps/DCS154.ps.Z, 19940908
Embedding Grids into Grids: Techniques for Large Compression Ratios John A. Ellis Department of Computer Science University of Victoria Victoria, British Columbia V8W 3P6, Canada 2 Mailing address: John A. Ellis Department of Computer Science University of Victoria P.O. Box 3055 Victoria British |
|
