Bisimulation proof methods for mobile ambients

被引：0
|
作者：
Merro, M [1 ]
Nardelli, FZ
机构：
[1] Univ Verona, I-37100 Verona, Italy
[2] Liens, Paris, France
来源：
AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS | 2003年 / 2719卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study the behavioural theory of Cardelli and Gordon's Mobile Ambients. We give an LTS based operational semantics, and a labelled bisimulation based equivalence that coincides with reduction barbed congruence. We also provide up-to proof techniques and prove a set of algebraic laws, including the perfect firewall equation.
引用
收藏
页码：584 / 598
页数：15
相关论文
共 50 条
  • [1] Bisimulation congruences in safe ambients
    Merro, M
    Hennessy, M
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (01) : 71 - 80
  • [2] A bisimulation-based semantic theory of safe ambients
    Merro, M
    Hennessy, M
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (02): : 290 - 330
  • [3] Mobile ambients
    Cardelli, L
    Gordon, AD
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1998, 1378 : 140 - 155
  • [4] Mobile ambients
    Cardelli, L
    Gordon, AD
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 240 (01) : 177 - 213
  • [5] Mobile safe ambients
    Levi, F
    Sangiorgi, D
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (01): : 1 - 69
  • [6] Distributability of mobile ambients
    Peters, Kirstin
    Nestmann, Uwe
    [J]. INFORMATION AND COMPUTATION, 2020, 275
  • [7] On the Distributability of Mobile Ambients
    Peters, Kirstin
    Nestmann, Uwe
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (276): : 104 - 121
  • [8] Probabilistic Mobile Ambients
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Vigliotti, Maria Grazia
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (12-13) : 1272 - 1303
  • [9] Bisimulation proof methods in a path-based specification language for polynomial coalgebras
    [J]. Zhou, Xiao-Cong, 1600, Cambridge University Press (760):
  • [10] Bisimulation proof methods in a path-based specification language for polynomial coalgebras
    Zhou, Xiao-Cong
    Li, Yong-Ji
    Li, Wen-Jun
    Qiao, Hai-Yan
    Shu, Zhong-Mei
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (04) : 765 - 804
12345