Loading...
Please wait, while we are loading the content...
Similar Documents
Fine Grained Multithreading with Process
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lopes, Luı́s Silva, Fernando |
| Copyright Year | 2000 |
| Abstract | 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 constructio n of formally verifiable systems on which to base high-level programming idioms, combined with efficient compilation schemes into multithreaded architectures. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.ncc.up.pt/~lblopes/tyco/PACT00.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |