26 search results - page 6 / 6 » mfcs 2004 |
MFCS
2004
Springer
13 years 10 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...