Amtoft, Torben; Turbak, Franklyn(Boston University Computer Science Department, 2000-01-10)
Recent work has shown equivalences between various type systems and flow logics. Ideally, the translations upon which such equivalences are based should be faithful in the sense that information is not lost in round-trip ...
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.(Boston University Computer Science Department, 2000-10-19)
Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather ...
