The Community for Technology Leaders
Proceedings 2000 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.PR00622) (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

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.
doi:10.1109/PACT.2000.888346
95 ms
(Ver 3.3 (11022016))