Fine grained multithreading with process calculi

• Type: Article in International Conference Proceedings Book
• Date: 2000

Authors

Lopes, L (Author) FCUP; Silva, F (Author) FCUP; Vasconcelos, VT (Author) Other

Conference proceedings International

Title: 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS

Pages: 217-226

International Conference on Parallel Architectures and Compilation Techniques

PHILADELPHIA, PA, OCT 15-19, 2000

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-001-2D5

DOI: 10.1109/PACT.2000.888346

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 10