2243 search results - page 50 / 449 » Contracts for Mobile Processes |
134
click to vote
ICALP
2004
Springer
15 years 9 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...
95
Voted
PACT
2001
Springer
15 years 8 months ago
2001
Springer
125
Voted
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
125
Voted
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
121
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...