An Algorithm for Analyzing Communicating Processes

@inproceedings{Mercouroff1991AnAF,
  title={An Algorithm for Analyzing Communicating Processes},
  author={Nicolas Mercouroff},
  booktitle={MFPS},
  year={1991}
}