The Community for Technology Leaders
Green Image
Issue No. 08 - August (2001 vol. 50)
ISSN: 0018-9340
pp: 852-862
<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. , pp. 852-862, August 2001, doi:10.1109/12.947014
105 ms
(Ver 3.1 (10032016))