Fine-grained multithreading with process calculi

• Tipo: Artigo em Revista Científica Internacional
• Data: 2001

Autores

Lopes, L (Autor) FCUP; Vasconcelos, VT (Autor) Outra; Silva, F (Autor) FCUP

Revista

Título: IEEE Transactions on Computers

Vol. 50

Páginas: 852-862

ISSN: 0018-9340

Editora: IEEE

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-000-TQ7

DOI: 10.1109/12.947014

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 for the construction of formally verifiable systems on which to base high-level programming idioms, combined with efficient compilation schemes into multithreaded architectures.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 11