A distributed abstract machine for safe ambients

被引：0
|
作者：
Sangiorgi, D [1 ]
Valente, A
机构：
[1] INRIA, Sophia Antipolis, France
[2] Univ Turin, I-10124 Turin, Italy
来源：
AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING | 2001年 / 2076卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：408 / 420
页数：13
相关论文
共 50 条
  • [1] Safe Ambients: Abstract machine and distributed implementation
    Giannini, P
    Sangiorgi, D
    Valente, A
    SCIENCE OF COMPUTER PROGRAMMING, 2006, 59 (03) : 209 - 249
  • [2] An efficient abstract machine for safe ambients
    Hirschkoff, Daniel
    Pous, Damien
    Sangiorgi, Davide
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 71 (02): : 114 - 149
  • [3] Correct abstract machine for safe ambients
    Hirschkoff, D
    Pous, D
    Sangiorgi, D
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2005, 3454 : 17 - 32
  • [4] A Lisp environment for distributed applications based on Safe Ambients
    Hayashi, Tomoyuki
    Umatani, Seiji
    Yasugi, Masahiro
    Yuasa, Taiichi
    Computer Software, 2013, 30 (01) : 231 - 256
  • [5] Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks
    Umatani, Seiji
    Yasugi, Masahiro
    Yuasa, Taiichi
    COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, 2011, 6721 : 172 - 186
  • [6] DISTRIBUTED ABSTRACT MACHINE
    SCHINDLER, S
    COMPUTER COMMUNICATIONS, 1980, 3 (05) : 208 - 220
  • [7] Mobile safe ambients
    Levi, F
    Sangiorgi, D
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (01): : 1 - 69
  • [8] Abstract interpretation of mobile ambients
    Hansen, RR
    Jensen, JG
    Nielson, F
    Nielson, HR
    STATIC ANALYSIS, 1999, 1694 : 134 - 148
  • [9] Secure safe ambients
    Bugliesi, M
    Castagna, G
    ACM SIGPLAN NOTICES, 2001, 36 (03) : 222 - 235
  • [10] On abstract interpretation of mobile ambients
    Levi, F
    Maffeis, S
    INFORMATION AND COMPUTATION, 2004, 188 (02) : 179 - 240
12345