Proceedings 2000 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.PR00622) (2000)
Oct. 15, 2000 to Oct. 19, 2000
Luís Lopes , University of Porto
Fernando Silva , University of Porto
Vasco T. Vasconcelos , University of Lisbon
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.
Process-Calculus, Multithreading, Abstract-Machine.
V. T. Vasconcelos, L. Lopes and F. Silva, "Fine Grained Multithreading with Process Calculi," Proceedings 2000 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.PR00622)(PACT), Philadelphia, Pennsylvania, 2000, pp. 217.