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," in IEEE Transactions on Computers, vol. 50, no. , pp. 852-862, 2001.