Davide Sangiorgi. Typed pi-calculus at Work: A Correctness Proof of Jones s Parallelisation Transformation on Concurrent Objects. TAPOS, 5(1):25-33, 1999.
@article{Sangiorgi99:1,
title = {Typed pi-calculus at Work: A Correctness Proof of Jones s Parallelisation Transformation on Concurrent Objects},
author = {Davide Sangiorgi},
year = {1999},
tags = {transformation},
researchr = {https://researchr.org/publication/Sangiorgi99%3A1},
cites = {0},
citedby = {0},
journal = {TAPOS},
volume = {5},
number = {1},
pages = {25-33},
}