Title :
Fine grained multithreading with process calculi
Author :
Lopes, L. ; Silva, F. ; Vasconcelos, V.T.
Author_Institution :
Dept. of Comput. Sci., Porto Univ., Portugal
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;
Conference_Titel :
Parallel Architectures and Compilation Techniques, 2000. Proceedings. International Conference on
Conference_Location :
Philadelphia, PA, USA
Print_ISBN :
0-7695-0622-4
DOI :
10.1109/PACT.2000.888346
