Connecting you to content on EBSCOhost

Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 5

Results: 4

1

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:

CATUSCIA PALAMIDESSI

Publication type:

Article

2

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:

PASCAL ZIMMER

Publication type:

Article

3

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:

PHILIPPE MATHERAT;
MARC-THIERRY JAEKEL

Publication type:

Article

4

Solos in concert.

Published in:

Mathematical Structures in Computer Science, 2003, v. 13, n. 5, p. 657, doi. 10.1017/s0960129503004055

By:

COSIMO LANEVE;
BJÖRN VICTOR

Publication type:

Article