The Limit of Split_n-Bisimulations for CCS Agents

@inproceedings{Gorrieri1991TheLO,
  title={The Limit of Split_n-Bisimulations for CCS Agents},
  author={Roberto Gorrieri and Cosimo Laneve},
  booktitle={MFCS},
  year={1991}
}