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 条
  • [41] THE CHEMICAL ABSTRACT MACHINE
    BERRY, G
    BOUDOL, G
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 217 - 248
  • [42] The Vienna Abstract Machine
    Krall, A
    JOURNAL OF LOGIC PROGRAMMING, 1996, 29 (1-3): : 85 - 106
  • [43] THE LINEAR ABSTRACT MACHINE
    LAFONT, Y
    THEORETICAL COMPUTER SCIENCE, 1988, 59 (1-2) : 157 - 180
  • [44] The Vienna abstract machine
    Krall, Andreas
    Journal of Logic Programming, 29 (1-3): : 85 - 106
  • [45] ABSTRACT MACHINE FOR LDL
    CHIMENTI, D
    GAMBOA, R
    KRISHNAMURTHY, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 416 : 153 - 168
  • [46] An abstract machine for Oz
    Mehl, M
    Scheidhauer, R
    Schulte, C
    PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 151 - 168
  • [47] A neural abstract machine
    Börger, E
    Sona, D
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11) : 1006 - 1023
  • [48] The cryptographic abstract machine
    Rosenzweig, D
    Runje, D
    ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2004, 3052 : 202 - 217
  • [49] THE VIENNA ABSTRACT MACHINE
    KRALL, A
    NEUMERKEL, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 121 - 135
  • [50] The Euclid abstract machine
    Mycka, Jerzy
    Costa, Jose Felix
    Coelho, Francisco
    INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2008, 4 (03) : 223 - 247
12345