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 条
  • [1] A predicate spatial logic for mobile processes
    LIN Huimin Laboratory for Computer Science
    ScienceinChina(SeriesF:InformationSciences), 2004, (03) : 394 - 408
  • [2] A predicate spatial logic for mobile processes
    Huimin Lin
    Science in China Series : Information Sciences, 2004, 47 : 394 - 408
  • [3] A predicate spatial logic for mobile processes
    Lin, HM
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2004, 47 (03): : 394 - 408
  • [4] Model Checking of Spatial Logic
    Li, Tengfei
    Liu, Jing
    Kang, JieXiang
    Sun, Haiying
    Chen, Xiaohong
    Han, Li
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 169 - 177
  • [5] Model Checking Mobile Processes
    Swed. Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden
    Inf Comput, 1 (35-51):
  • [6] Model checking mobile processes
    Dam, M
    INFORMATION AND COMPUTATION, 1996, 129 (01) : 35 - 51
  • [7] Model checking mobile stochastic logic
    De Nicola, Rocco
    Katoen, Joost-Pieter
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    THEORETICAL COMPUTER SCIENCE, 2007, 382 (01) : 42 - 70
  • [8] Spatial Logic and Spatial Model Checking for Closure Spaces
    Ciancia, Vincenzo
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS, SFM 2016, 2016, 9700 : 156 - 201
  • [9] An extensional spatial logic for mobile processes
    Hirschkoff, D
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 325 - 339
  • [10] Predicate gates for spatial logic
    Kouzaev, Guennadi A.
    Kostadinov, Atanas N.
    PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 151 - +
12345