Pattern-matching spi-calculus

@article{Haack2006PatternmatchingS,
  title={Pattern-matching spi-calculus},
  author={Christian Haack and Alan Jeffrey},
  journal={Inf. Comput.},
  year={2006},
  volume={204},
  pages={1195-1263}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…