Fine grained multithreading with process calculi

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2000

Autores

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

Ata de Conferência Internacional

Título: 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS

Páginas: 217-226

International Conference on Parallel Architectures and Compilation Techniques

PHILADELPHIA, PA, OCT 15-19, 2000

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

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-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.

Idioma: Inglês

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

Nº de páginas: 10