Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 5
Results: 4
On the expressiveness of pure safe ambients</fnr>An extended abstract of this paper appeared in Zimmer (2000).
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 5, p. 721, doi. 10.1017/s0960129503004079
- By:
- Publication type:
- Article
Concurrent computing machines and physical space-time.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 5, p. 771, doi. 10.1017/s0960129503004067
- By:
- Publication type:
- Article
Solos in concert.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 5, p. 657, doi. 10.1017/s0960129503004055
- By:
- Publication type:
- Article
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi</fnr>Work supported by the NSF-POWRE grant EIA-0074909.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 5, p. 685, doi. 10.1017/s0960129503004043
- By:
- Publication type:
- Article