Fine-grained multithreading with process calculi
Luis M. B. Lopes, VASCO THUDICHUM VASCONCELOS, Fernando Silva · IEEE Transactions on Computers · 2001
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.