A predicate spatial logic and model checking for mobile processes

被引：0
|
作者：
Lin, HM [1 ]
机构：
[1] Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004 | 2005年 / 3407卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：36 / 36
页数：1
相关论文
共 50 条
  • [41] Model checking mobile ambients
    Charatonik, W
    Dal Zilio, S
    Gordon, AD
    Mukhopadhyay, S
    Talbot, JM
    THEORETICAL COMPUTER SCIENCE, 2003, 308 (1-3) : 277 - 331
  • [42] Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost
    Ma, Zhanyou
    Li, Zhaokai
    Li, Weijun
    Gao, Yingnan
    Li, Xia
    ENTROPY, 2022, 24 (09)
  • [43] On decidability and model checking for a first order modal logic for value-passing processes
    Xue, R
    Lin, HM
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 46 (01): : 45 - 59
  • [44] On decidability and model checking for a first order modal logic for value-passing processes
    Rui Xue
    Huimin Lin
    Science in China Series F, 2003, 46 : 45 - 59
  • [45] On decidability and model checking for a first order modal logic for value-passing processes
    薛锐
    林惠民
    ScienceinChina(SeriesF:InformationSciences), 2003, (01) : 45 - 59
  • [46] SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
    Caires, Luis
    Vieira, Hugo Torres
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 485 - 491
  • [47] Model checking linear logic specifications
    Bozzano, M
    DelZanno, G
    Martelli, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 573 - 619
  • [48] A Study on the Model Checking for Deontic Logic
    Koo, Jarok
    Third 2008 International Conference on Convergence and Hybrid Information Technology, Vol 2, Proceedings, 2008, : 832 - 835
  • [49] A predicate calculus logic for the PKI trust model analysis
    El Bakkali, H
    Kaitouni, BI
    IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, 2001, : 368 - 371
  • [50] Model theory of monadic predicate logic with the infinity quantifier
    Carreiro, Facundo
    Facchini, Alessandro
    Venema, Yde
    Zanasi, Fabio
    ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (3-4) : 465 - 502
12345