Generalized Bisimulation in Relational Specifications

@inproceedings{Astesiano1988GeneralizedBI,
  title={Generalized Bisimulation in Relational Specifications},
  author={Egidio Astesiano and Alessandro Giovini and Gianna Reggio},
  booktitle={STACS},
  year={1988}
}
Highly Cited
This paper has 29 citations. REVIEW CITATIONS