9518 search results - page 151 / 1904 » On Mobility of Software Processes |
107
Voted
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
148
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...
104
Voted
PACT
2001
Springer
15 years 9 months ago
2001
Springer
