@InProceedings{ZhouStiles00,
  title =        "{T}he {A}utomated {S}erialization of {C}oncurrent {CSP} {S}cripts using {M}athematica",
  author=        "Zhou,  Weiyang and Stiles,  G. S.",
  editor=        "Welch, Peter H. and Bakkers,  Andr\`{e} W. P.",
  pages =        "15--32",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2000",
  isbn=          "1 58603 077 9",
  year=          "2000",
  month=         "sep",
  abstract=      "This report discusses the design and implementation of a
     package of Mathematica-based tools for serializing scripts
     describing the behavior of concurrent systems in CSP. Under
     some conditions, serialization can yield code that is more
     efficient than multi-process versions and can better meet
     processor constraints. Under most conditions concurrent
     design is easier and more reliable so we prefer to design
     concurrently and only implement serially when necessary. The
     tools include a set of definitions and procedures to
     automatically change concurrent code to serial code.
     Conversions of the following step laws have been implemented
     thus far: external choice, generalized parallel, and
     alphabetized parallel; additional laws will be implemented
     in the next month or so. The tools support the input of the
     more formal typeset notation of CSP, which makes the script
     writing intuitive, and can convert the typeset version to
     the machine-readable version required by software such as
     FDR. The correctness of the conversions has been checked
     with the FDR package. This package should be of use to both
     those regularly working on concurrent systems and those
     learning CSP."
}