[T1] ================================================ AMAST Links 02 02

          Lecture Notes and Binary Decision Diagrams Package 

  Lecture notes introducing Binary Decision Diagrams and an
implementation of a BDD package in Standard ML is freely available by 
World Wide Web and anonymous ftp at the addresses below. The lecture 
notes were used in a course at the Technical University of Denmark, 
autumn 1994. The BDD package is a solution to one of the projects 
proposed in the lecture notes. As an application of the package it is 
shown how to compute and count the reachable states of Milner's 
Scheduler for various numbers of cyclers. (For 40 cyclers the count is
65970697666560 !)

  The BDD lecture notes and implementation are available at
URL: http://www.id.dtu.dk/~hra 
(under Lecture Notes), or by anonymous ftp:
 o  _notes and SML code_ at
    URL: ftp://ftp.id.dtu.dk/pub/hra/mlbdd1.0.tar.gz
 o  _notes only_ at
    URL: ftp://ftp.id.dtu.dk/pub/hra/bdd-note.ps.gz

  The files must be uncompressed by `gunzip' or `zip' and the .tar-file
unpacked by `tar xf'.

  Comments and bug reports are very welcome and can be directed to:
   Henrik Reif Andersen
   E-mail: hra@id.dtu.dk 
   WWW: URL: http://www.id.dtu.dk/~hra 
   Department of Computer Science, Bld. 344
   Technical University of Denmark, 
   DK-2800 Lyngby, Denmark