Typed behavioural equivalences for processes in the presence of subtyping

@article{Hennessy2004TypedBE,
  title={Typed behavioural equivalences for processes in the presence of subtyping},
  author={Matthew Hennessy and Julian Rathke},
  journal={Mathematical Structures in Computer Science},
  year={2004},
  volume={14},
  pages={651-684}
}
Highly Cited
This paper has 76 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

76 Citations

0102030'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 76 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…