Issue No.08 - August (2001 vol.50)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.947014
<p><b>Abstract</b>—This paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parallel computations. They allow for the construction of formally verifiable systems on which to base high-level programming idioms, combined with efficient compilation schemes into multithreaded architectures.</p>
Process-calculus, abstract-machine, multithreading.
"Fine-Grained Multithreading with Process Calculi", IEEE Transactions on Computers, vol.50, no. 8, pp. 852-862, August 2001, doi:10.1109/12.947014