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 条
  • [21] A control flow analysis for safe and boxed ambients
    Levi, F
    Bodei, C
    PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 188 - 203
  • [22] Boxed Safe Ambients with Password and application on the Internet
    Jiang Hua
    Tan Xinxing
    Li Xiang
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 472 - +
  • [23] Safe ambients: Control flow analysis and security
    Degano, P
    Levi, F
    Bodei, C
    ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 199 - 214
  • [24] A bisimulation-based semantic theory of safe ambients
    Merro, M
    Hennessy, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (02): : 290 - 330
  • [25] A Distributed Abstract State Machine for Grid Systems: A Preliminary Study
    Bianchi, A.
    Manelli, L.
    Pizzutilo, S.
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING, 2011, 95
  • [26] Abstract interpretation-based static analysis of mobile ambients
    Feret, J
    STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 412 - 430
  • [27] On the Operational Semantics of a Higher Order Safe Ambients Calculus
    Cao, Zining
    THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, 2011, 164 : 305 - 312
  • [28] A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
    Montenegro, Manuel
    Pena, Ricardo
    Segura, Clara
    INFORMATION AND COMPUTATION, 2014, 235 : 3 - 35
  • [29] Universal plug and play machine models -: Modeling with distributed abstract state machines
    Glässer, U
    Veanes, M
    DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 21 - 30
  • [30] Demo Abstract: Distributed Machine Learning at Resource-Limited Edge Nodes
    Tuor, Tiffany
    Wang, Shiqiang
    Salonidis, Theodoros
    Ko, Bong Jun
    Leung, Kin K.
    IEEE INFOCOM 2018 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2018,
12345