Fine-grained multithreading with process calculi

Authors
Lopes, L Vasconcelos, VT Silva, F
Citation
L. Lopes et al., Fine-grained multithreading with process calculi, IEEE COMPUT, 50(8), 2001, pp. 852-862
Citations number
31
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE TRANSACTIONS ON COMPUTERS
ISSN journal
00189340 → ACNP
Volume
50
Issue
8
Year of publication
2001
Pages
852 - 862
Database
ISI
SICI code
0018-9340(200108)50:8<852:FMWPC>2.0.ZU;2-L
Abstract
This paper presents a multithreaded abstract machine for the TyCO process c alculus. We argue that process calculi provide a powerful framework to reas on about fine-grained parallel computations. They allow for the constructio n of formally verifiable systems on which to base high-level programming id ioms, combined with efficient compilation schemes into multithreaded archit ectures.