9702 search results - page 196 / 1941 » Communicating Mobile Processes |
152
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
112
Voted
PACT
2001
Springer
15 years 9 months ago
2001
Springer
139
Voted
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
