Author:
Hüttel Hans,Kühnrich Morten
Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. Ambient groups and mobility types;Cardelli,2000
2. Mobile ambients;Cardelli,1998
3. J. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. Proceedings of CONCUR'02, LNCS 2421, pp. 272–287., 1644:p.230, 2002
4. John M. Lucassen and David K. Gifford. Polymorphic effect systems. In POPL, pages 47–57, 1988
5. Typing and subtyping mobility in boxed ambients;Merro;LNCS,2002