1894 search results - page 58 / 379 » Towards Mobile Reasoning |
ICALP
2004
Springer
15 years 5 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...
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
ICN
2001
Springer
15 years 4 months ago
2001
Springer
CONEXT
2007
ACM
15 years 3 months ago
2007
ACM
GRAPP
2007
15 years 1 months ago
2007