Fine Grained Multithreading with Process Calculi

Ð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.

• Type: Conference
• Year: 2000
• Where: IEEEPACT
• Authors: Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
• Keywords: Distributed And Parallel Computing, Fine-grained Parallel Computations, IEEEPACT 2000, Multithreaded Abstract Machine, TyCO Process Calculus