SYNOPSIS

     psf_mtil [ files ]

DESCRIPTION

     The program psf_mtil transforms a PSF specification into an M-TIL spec-
     ification.  It takes its input from the  standard  input  or  from  the
     specified files.  It generates output on the standard output.

SEE ALSO

     S.  Mauw  &  G.J.  Veltink,  A  Process Specification Formalism, Report
     P8814, University of Amsterdam, 1988.
     S. Mauw & G.J. Veltink, An Introduction to PSFd, Report P8901,  Univer-
     sity of Amsterdam, 1989.
     H. Jacobsson, A Tool Interface Language for PSFd, Master’s Thesis, Uni-
     versity of Amsterdam, 1989.
     psf(1L), mtil_psf(1L)

DIAGNOSTICS

     Exit status 0 means the specification is correct, while 1 indicates  an
     error.

BUGS

     Optimization  of  process  expressions is not yet done.  Tuples in data
     type specifications are not yet treated properly.

AUTHOR

     Gert Veltink
     Henrik Jacobsson

4th Berkeley Distribution Aug 18, 1989 PSF_MTIL(1L)