4205 search results - page 26 / 841 » Typed Mobile Objects |
138
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
133
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
175
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
147
click to vote
IFIPTCS
2000
15 years 9 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
189
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...