Institutional Repository
| on detecting regular predicates in distributed systems | |
| Huang Hongtao | |
| 2009 | |
| Conference Name | 7th International Symposium on Automated Technology for Verification and Analysis |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 397-411 |
| Conference Date | OCT 13-16, |
| Conference Place | Macao, PEOPLES R CHINA |
| Indexed Type | istp,ei,acm |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-642-04760-2 |
| Department | Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. |
| English Abstract | Given a distributed computation and a predicate, detection of the predicate in Definitely modality means checking whether in every path from the least state to the greatest state in the state space generated from the computation, there exists a state satisfying the predicate. It is well known that the state space is a lattice. The regular predicate is a class of predicates. All the states satisfying a regular predicate form a sublattice of the lattice. In this paper, we prove that detection of a regular predicate in Definitely modality is coNP-complete. |
| Sponsorship | United Natl Univ, Int Inst Software Technol, Macao Post, Macao Polytech Inst, Formal Methods Europe |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8294 |
| Collection | 2009年期刊/会议论文 |
| Recommended Citation GB/T 7714 | Huang Hongtao. on detecting regular predicates in distributed systems[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS,2009:397-411. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment