Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques (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.
Luís Lopes, Fernando Silva, Vasco T. Vasconcelos, "Fine Grained Multithreading with Process Calculi", Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, vol. 00, no. , pp. 217, 2000, doi:10.1109/PACT.2000.888346