The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (2001 vol.50)
pp: 852-862
ABSTRACT
<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>
INDEX TERMS
Process-calculus, abstract-machine, multithreading.
CITATION
"Fine-Grained Multithreading with Process Calculi", IEEE Transactions on Computers, vol.50, no. 8, pp. 852-862, August 2001, doi:10.1109/12.947014
SEARCH
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool