31 search results - page 2 / 7 » Typed Mobile Ambients in Maude |
MFCS
2004
Springer
13 years 11 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 7 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
13 years 11 months ago
2004
Springer
MSCS
2008
13 years 5 months ago
2008
ESOP
2001
Springer
13 years 10 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...