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 the construction of formally verifiable systems on which to base high-level programming idioms, combined with efficient compilation schemes into multithreaded architectures.
['Luís M. B. Lopes', 'Fernando M. A. Silva', 'Vasco Thudichum Vasconcelos']
Fine Grained Multithreading with Process Calculi