Computer Science ›› 2006, Vol. 33 ›› Issue (6): 7-10.
Previous Articles Next Articles
YAN Feng ,CHEN Tao-Lue, HAN Ting-Ting ,LU Jian （State Key Laboratory for Novel Software Teehnology,Nanjing University,Nanjing 210093）
Online:
Published:
Abstract: The introduction of spatial logics has been motivated by a recent shift of focus from monolithic concurrent systems towards distributed computing systems. The decidability of validity, satisfiability,and model checking for spa tial logics is an important
Key words: Mobile computation,Distributed computing, Spatial logic, Decidability,Definition framework
YAN Feng ,CHEN Tao-Lue, HAN Ting-Ting ,LU Jian （State Key Laboratory for Novel Software Teehnology,Nanjing University,Nanjing 210093）. [J].Computer Science, 2006, 33(6): 7-10.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I6/7
Cited
Home