11561 search results - page 214 / 2313 » Open Distributed Processing |
106
Voted
DEXAW
2005
IEEE
15 years 6 months ago
2005
IEEE
The unprecedented growth of data at geographically distributed locations coupled with tremendous improvement in networking capabilities over the last decade strongly motivate the ...
109
click to vote
ICALP
2004
Springer
15 years 6 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...
121
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
68
Voted
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE