49 search results - page 2 / 10 » Typing Mobility in the Seal Calculus |
BIRTHDAY
2005
Springer
14 years 11 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...
LISP
2008
14 years 9 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
54
Voted
ENTCS
2007
14 years 9 months ago
2007
96
Voted
ACTA
2005
14 years 9 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
IFIPTCS
2000
15 years 1 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...