31 search results - page 2 / 7 » Typed Mobile Ambients in Maude |
MFCS
2004
Springer
14 years 1 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
BIRTHDAY
2005
Springer
13 years 10 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...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
MSCS
2008
13 years 8 months ago
2008
ESOP
2001
Springer
14 years 1 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...