DocumentCode
2686084
Title
Fine grained multithreading with process calculi
Author
Lopes, L. ; Silva, F. ; Vasconcelos, V.T.
Author_Institution
Dept. of Comput. Sci., Porto Univ., Portugal
fYear
2000
fDate
15-19 Oct. 2000
Firstpage
217
Lastpage
226
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.
Keywords
finite automata; multi-threading; process algebra; TyCO process calculus; formally verifiable systems; multithreaded abstract machine; process calculi; Communication switching; Computer architecture; Computer science; Context; Delay; Hardware; Microprocessors; Multithreading; Parallel processing; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel Architectures and Compilation Techniques, 2000. Proceedings. International Conference on
Conference_Location
Philadelphia, PA, USA
ISSN
1089-795X
Print_ISBN
0-7695-0622-4
Type
conf
DOI
10.1109/PACT.2000.888346
Filename
888346
Link To Document