Institutional Repository
| a predicate spatial logic and model checking for mobile processes | |
| Lin HM | |
| 2005 | |
| Conference Name | 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004) |
| Source | Lecture Notes in Computer Science |
| Pages | 36-36 |
| Conference Date | SEP 20-24, |
| Conference Place | Guiyang, PEOPLES R CHINA |
| Indexed Type | sci ; istp ; ei |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004 |
| ISSN | 0302-9743 |
| ISBN | 3-540-25304-1 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China. |
| English Abstract | Mobile processes involve not only in time but also in space. Traditionally model checking has mainly concerned with temporal properties of processes, but recently proposals have been put forwarded to check spatial properties as well. In this talk we shall |
| Keyword | Algorithms Functions Mathematical Models Mobile Computing |
| Sponsorship | UN Univ, Int Inst Software Technol, Guizhou Acad Sci |
| Language | 英语 |
| WOS ID | WOS:000229011500004 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12764 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Lin HM. a predicate spatial logic and model checking for mobile processes[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004,2005:36-36. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| a predicate spatial （37KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment