================================================================================
P9401   J.C.M. Baeten & J.A. Bergstra
        "Graph isomorphism models for non interleaving process algebra"


We present a simple and intuitive model for the syntax of ACP based on
graph isomorphism. We prove an expressivity result, and use the model to
determine the number of states of a process.