The Community for Technology Leaders
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques (2000)
Philadelphia, Pennsylvania
Oct. 15, 2000 to Oct. 19, 2000
ISSN: 1089-795X
ISBN: 0-7695-0622-4
pp: 217
Luís Lopes , University of Porto
Fernando Silva , University of Porto
Vasco T. Vasconcelos , University of Lisbon
ABSTRACT
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.
INDEX TERMS
Process-Calculus, Multithreading, Abstract-Machine.
CITATION
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
84 ms
(Ver 3.3 (11022016))