Go to:
Logótipo
You are here: Start > Publications > View > Fine-grained multithreading with process calculi
Acesso à coleção completa de ebooks da Knovel
Publication

Fine-grained multithreading with process calculi

Title
Fine-grained multithreading with process calculi
Type
Article in International Scientific Journal
Year
2001
Authors
Lopes, L
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Vasconcelos, VT
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Silva, F
(Author)
FCUP
View Personal Page Send message Search for Participant Publications View Authenticus page View ORCID page
Journal
Vol. 50
Pages: 852-862
ISSN: 0018-9340
Publisher: IEEE
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citations
Publicação em Scopus Scopus - 0 Citations
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: P-000-TQ7
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.
Language: English
Type (Professor's evaluation): Scientific
Contact: lblopes@ncc.up.pt; vv@di.fc.ul.pt; fds@ncc.up.pt
No. of pages: 11
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Distribution and Mobility with Lexical Scoping in Process Calculi (1998)
Article in International Scientific Journal
Vasconcelos, VT; Lopes, L; Silva, F
A virtual machine for a process calculus (1999)
Article in International Scientific Journal
Lopes, L; Silva, F; Vasconcelos, VT
Fine grained multithreading with process calculi (2000)
Article in International Conference Proceedings Book
Lopes, L; Silva, F; Vasconcelos, VT
A concurrent programming environment with support for distributed computations and code mobility (2000)
Article in International Conference Proceedings Book
Lopes, L; Figueira, A; Silva, F; Vasconcelos, VT

Of the same scientific areas

YWeb – Plataforma de Criação de Templates para Marketing Online (2017)
Thesis
José Carlos Calhau Pinto
Visual Viper: a portable visualization library for streamlined scientific communications. (2023)
Thesis
Mariana Beatriz Nunes Canelas Pais
Utility-based Predictive Analytics (2018)
Thesis
Paula Alexandra de Oliveira Branco
Using clickstream data to analyze online purchase intentions (2015)
Thesis
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Users Satisfaction Regarding Nursing Information and Documentation In Electronic Health Records: A Study At The Health Centers Group Tâmega II – Vale Do Sousa Sul (2023)
Thesis
Carla Manuela Pinto Lourenço

See all (1858)

Of the same journal

Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems (2021)
Another Publication in an International Scientific Journal
João M. P. Cardoso; DeHon, A; Pozzi, L
Reliable real-time communication in CAN networks (2003)
Article in International Scientific Journal
Luís Miguel Pinho; Francisco Vasques
On combining temporal partitioning and sharing of functional units in compilation for reconfigurable architectures (2003)
Article in International Scientific Journal
João M. P. Cardoso
Recommend this page Top
Copyright 1996-2025 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2025-06-27 at 12:38:37 | Acceptable Use Policy | Data Protection Policy | Complaint Portal