26 search results - page 6 / 6 » mfcs 2004 |
170
Voted
MFCS
2004
Springer
16 years 22 hour 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...