A Lisp environment for distributed applications based on Safe Ambients

被引：0
|
作者：
Hayashi, Tomoyuki [1 ]
Umatani, Seiji [2 ]
Yasugi, Masahiro [3 ]
Yuasa, Taiichi [2 ]
机构：
[1] Hitachi Ltd., Japan
[2] Graduate School of Informatics, Kyoto University, Japan
[3] Department of Artificial Intelligence, Kyushu Institute of Technology, Japan
来源：
Computer Software | 2013年 / 30卷 / 01期
基金：
日本学术振兴会;
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：231 / 256
相关论文
共 50 条
  • [1] A distributed abstract machine for safe ambients
    Sangiorgi, D
    Valente, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 408 - 420
  • [2] Safe Ambients: Abstract machine and distributed implementation
    Giannini, P
    Sangiorgi, D
    Valente, A
    SCIENCE OF COMPUTER PROGRAMMING, 2006, 59 (03) : 209 - 249
  • [3] Developing safe concurrent and distributed applications with an architectural environment
    Duval, G
    Cattel, T
    TOOLS 29: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 1999, 29 : 20 - 32
  • [4] Mobile safe ambients
    Levi, F
    Sangiorgi, D
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (01): : 1 - 69
  • [5] Secure safe ambients
    Bugliesi, M
    Castagna, G
    ACM SIGPLAN NOTICES, 2001, 36 (03) : 222 - 235
  • [6] A bisimulation-based semantic theory of safe ambients
    Merro, M
    Hennessy, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (02): : 290 - 330
  • [7] Bisimulation congruences in safe ambients
    Merro, M
    Hennessy, M
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 71 - 80
  • [8] Behavioural typing for safe ambients
    Bugliesi, M
    Castagna, G
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2002, 28 (01) : 61 - 99
  • [9] MIDI-LISP - A LISP-BASED PROGRAMMING ENVIRONMENT FOR MIDI ON THE MACINTOSH
    WESSEL, D
    LAVOIE, P
    BOYNTON, L
    ORLAREY, Y
    JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 1987, 35 (7-8): : 600 - 600
  • [10] Bisimulations in the Boxed Safe Ambients with Password
    Jiang Hua
    Tan Xinxing
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 443 - +
12345