Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects

@article{Sangiorgi1999TypedPA,
  title={Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects},
  author={Davide Sangiorgi},
  journal={TAPOS},
  year={1999},
  volume={5},
  pages={25-33}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…