11 search results - page 1 / 3 » Deciding Reachability in Mobile Ambients |
ESOP
2005
Springer
14 years 4 months ago
2005
Springer
Mobile Ambients has been proposed by Cardelli and Gordon
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
LISP
2008
13 years 11 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...
ESOP
2001
Springer
14 years 3 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
SEBD
2003
14 years 8 days ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...