A congruence rule format for name-passing process calculi

@article{Fiore2009ACR,
  title={A congruence rule format for name-passing process calculi},
  author={Marcelo P. Fiore and Sam Staton},
  journal={Inf. Comput.},
  year={2009},
  volume={207},
  pages={209-236}
}
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.